Compiling Multi-Paradigm Declarative Programs into Prolog (1794)

by S Antoy, M Hanus
Venue:In Proc. of the Int’l Workshop on Frontiers of Combining Systems (FroCoS’2000