Theorem provers and other automated deduction systems that were developed in the 1960s and 1970s are part of the heritage of prologue. The Prolog's Inference Mechanism is based on Green's Answer Extraction Mechanism and Robinson's Resolution Principle, both of which were proposed in 1965. (1968). When linear resolution procedures were introduced, these concepts came together strongly.
A general purpose logic programming system was sparked by explicit goal-directed linear resolution procedures. The Marseille Prolog, which was created in 1970 and was based on Colmerauer's work, was the original Prolog. The first comprehensive description of the Prolog language was found in the manual of this Marseille Prolog interpreter (Roussel, 1975). Another fourth-generation programming language that supports the declarative programming paradigm is Prolog. Prolog received a lot of attention when it was chosen as the development language for the well-known Japanese Fifth-Generation Computer Project, which was unveiled in 1981.