A Simple Near-Horn Prolog Interpreter.

Bruce T. Smith, Donald W. Loveland

Browse the full ICLP paper archive.