The Relation of Prolog to Logic
The programming language Prolog was invented by Alain Colmerauer around about 1970. It was a first attempt at the design of a language that would enable a programmer to specify his tasks in logic, rather than in terms of conventional programming constructs about what the machine should do when. This motivation explains the name of the programming language, for “Prolog” stands for Programming in logic.
KeywordsLogic Programming Goal Statement Function Symbol Predicate Calculus Atomic Formula
Unable to display preview. Download preview PDF.