A partial evaluator of Lisp programs written in Prolog (1982)

by K M Kahn
Venue:First International Logic Programming Conference