Control structures in partial evaluation of pure Prolog (1989)

by J Lam