Title: A specification of an abstract Prolog machine and its application to partial evaluation
Subjects: Prolog (Computer program language), Computer programs, Evaluation