SASL+LVUnifies 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.
SASD ♦ SASE ♦ SASI ♦ SASL ♦ SASL+LV ♦ SASL-YACC ♦ SAS System ♦ SATA ♦ SATAN
Try this search on Wikipedia, Wiktionary, Google, OneLook.