Subrahmanyam P.A. et al, "FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming}

(1986)

DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Prog (1986) DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986  

Languages mentioned