Programming Logic PROLOG

A PROLOG program consists of a database including facts and rules, which are evaluated systematically when a query is defined by a user. The result of this evaluation can be either positive or negative. The outcome is positive if a logical deduction can be made otherwise it is negative if the current database does not allow a deduction. 

A PROLOG program can be asked whether a fact is true or whether a logical statement is consistent with the rules stored in the program. These questions can be answered independently of a concrete hard-coded code. 

Facts consist of a name (or functor) similar to a variable name in other programming languages and one or more arguments that define the corresponding values. 

1 PROLOG Facts PROLOG facts might be the following  

The first fact indicates that benzene is an aromatic member of a series of compounds. Another example is the following  

---

Figure 8.4 Program to find an element in a list of elements by means of list processing language (LISP) and a recursive programming in logic (PROLOG) procedure.

PROLOG A programming language commonly used to code AI application programs. PROLOG is an acronym for PROgramm-ing in LOGic. It is used predominantly in Europe. 

---