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