An implementation of Edinburgh Prolog by Nick Henfrey, esl.
["An Advanced Logic Programming Language", Anthony Dodd].