Title :
Prolog: A programming language for fifth-generation computing
Author_Institution :
Dept. of Comput. Sci., Missouri Univ., Rolla, MO, USA
Abstract :
A description is given of Prolog, a contraction of PROgramming in LOGic, which uses the formalism of mathematical logic as its primary design principle. The structure of Prolog is examined, and a database program is described to illustrate its application. An application to an artificial intelligence problem, the Towers of Hanoi, is also given.
Keywords :
PROLOG; artificial intelligence; database management systems; logic programming; LOGic; PROgramming; Prolog; Towers of Hanoi; artificial intelligence problem; database program; mathematical logic;
Journal_Title :
Potentials, IEEE
DOI :
10.1109/MP.1986.6500804
