ABSTRACT
Prolog is a branch of logic programming. A Pro log program consists of a collection of logical formulas which form the set of axioms of a formal system. The axioms are turned into a program procedure by the Prolog interpreter, or inference engine, which is a type of theorem prover.
