Tag: Logic Programming
- (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.