Prolog-2

An implementation of Edinburgh Prolog.

"An Advanced Logic Programming Language", Anthony Dodd.