Prolog: A programming language for fifth-generation computing

A programming language was developed in the early 1970s by Alain Colmerauer, based upon the work of Robert Kowalski and others. Prolog, a contraction of “PROgramming in LOGic,” uses the formalism of mathematical logic as its primary design principle. It has been studied extensively ever since the Japanese announced their intention to build a new series of fast, intelligent computer systems using this language. This project is popularly referred to as the “Fifth Generation Computing Systems Project.”