SASL+LV - Unifies logic and functional programming. A more complete
version of FGL+LV, in SASL syntax. "Combinator Evaluations of Functional
Programs with Logical Variables", G. Bage et al, TR UUCS-87-027, U Utah,
Oct 1987.
Comments, Experience, Additions
Next Language: Sather