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.





< Previous Terms Terms Containing SASL+LV Next Terms >
SAS
SASD
SASE
SASI
SASL
SFLV
SASL-YACC
SAS System
SATAN
Sather
Sather-K