prolog
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.
- An Introduction to Logic Programming Through Prolog — 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.