FPL: Functional Plus Logic Programming: An Integration of the FP and Prolog Languages. - N. Lichtenstein; Stéphane Kaplan (CTRS, 1990)