Compiling Multi-paradigm Declarative Programs into Prolog
2000 ◽
pp. 171-185
◽