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.

Try this search on Wikipedia, OneLook, Google

Nearby terms: SASE « SASI « SASL « SASL+LV » SASL-YACC » SAS System » SATA


Copyright Denis Howe 1985 General Business Directory.