A Comparison of Some Schemes for Translating Logic to C.

Bart Demoen Greet Maris A Comparison of Some Schemes for Translating Logic to C. 79-91 1994 ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs ftp://ftp.csd.uu.se/pub/papers/reports/0078/7-demoen+maris.ps.gz db/conf/iclp/iclp94-w6.html#DemoenM94