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.
Nearby terms:
SASE « SASI « SASL « SASL+LV » SASL-YACC »
SAS System » SATAN
|