SASL+LV

A language that unifies logic and functional programming. A more complete version of FGL+LV, with SASL syntax.

"Combinator Evaluations of Functional Programs with Logical Variables", G. Bage et al, TR UUCS-87-027, University of Utah, Oct 1987.