The (Lazy) Functional Side of Logic Programming

S. Etalle, J. Mountjoy

The possibility of translating logic programs into functional ones has long been a subject of investigation. Common to the many approaches is that the original logic program, in or…