A Meta-Level Extension of Prolog (1985)

by K A Bowen, T Weinberg
Venue:Proc. 1985 Symp. on Logic Programming, IEEE Comp. Soc