logic programming
- 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.