A. Brogi et al, "Logic Programming within a Functional Framework", in Programming Language Implementation and Logic Programming, P. Deransart et al eds, LNCS 456, Springer 1990.

Languages mentioned

• LML {1990}