SASL+LV

SASL+LV

Unifies logic and functional programming. A more completeversion of FGL+LV, in SASL syntax. "Combinator Evaluations ofFunctional Programs with Logical Variables", G. Bage et al, TRUUCS-87-027, U Utah, Oct 1987.