Prolog-2

An implementation of Edinburgh Prolog by Nick Henfrey, ESL.

["An Advanced Logic Programming Language", Anthony Dodd].