FUNLOG(ID:2652/fun004)

Began: 1986
Published: 1986
- 1986

Functional programming plus unification. Lazy in the sense that expressions are reduced only if they are not unifiable.

Structures:

Function

References:

Subrahmanyam P.A. et al, "FUNLOG: A Computational Model Integrating Logic Programming and Functional Programming} view details
in DeGroot, Doug; Lindstrom, Gary (Eds.): Logic Programming: Functions, Relations, and Equations. Prentice-Hall, 1986 view details