Dictionary of Computer and Internet Terms: Prolog
Prolog
a programming language developed in the early 1970s by Alain Colmerauer at the University of Marseilles and standardized by the ISO in 1995. Prolog is used for writing computer programs that model human thinking. It exemplifies logic programming, a kind of programming developed by Robert Kowalski of the University of London.
Prolog is not confined to the simple kind of logic described here. It can implement all types of algorithms, including sorting, numerical computation, and parsing.
