Prolog - technical definition

(PROgramming in LOGic) A programming language used for developing AI applications (natural language translation, expert systems, abstract problem solving, etc.). Developed in France in 1973, "Programmation en Logique" is used throughout Europe and Japan and is gaining popularity in the U.S.

Similar to LISP, it deals with symbolic representations of objects. The following example, written in University of Edinburgh Prolog, converts Fahrenheit to Celsius:

  convert:- write('Enter Fahrenheit'),
   read(Fahr),
   write('Celsius is '),
   Cent is (5 * (Fahr - 32)) / 9,
   write(Cent),nl.