Content related to the Prolog logic programming language. Prolog is a logic programming language with roots in first-order logic associated with artificial intelligence and computational linguistics.
- (Book) J. M. Spivey. An introduction to logic programming through Prolog. Formerly Prentice-Hall, 2008 — A simple introduction to the theory of logic programming, also describes in detail an implementation of a small Prolog dialect called picoProlog by an interpreter written in Pascal. Keywords: prolog logic programming.