FUNLOG: A Computational Model Integrating Logic Programming (1986)

by P A Subrahmanyam, Jia-Huai You
Venue:and Functional Programming. Logic Programming: Functions, Relations, and Equations