A Continuation Based Prolog-To-C Mapping (1994)

by K De Bosschere, P Tarau
Venue:In ACM Symposium on Applied Computing