A Self-Applicable Partial Evaluator for the Logic Programming Language Godel (0)

by C A Gurr