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.

In addition suitable contents:
[ 2 ] [ ag ] [ al ] [ am ] [ an ] [ ar ] [ AS ] [ ASL ] [ at ] [ B ] [ b ] [ bi ] [ C ] [ ca ] [ co ] [ com ] [ complete ] [ E ] [ er ] [ es ] [ et ] [ Eva ] [ FGL ] [ FGL+LV ] [ fi ] [ Fun ] [ function ] [ functional ] [ functional program ] [ functional programming ] [ G ] [ ge ] [ gi ] [ GL ] [ gr ] [ h ] [ ie ] [ in ] [ io ] [ it ] [ lu ] [ mm ] [ mo ] [ mp ] [ ms ] [ na ] [ nc ] [ ng ] [ ni ] [ ns ] [ O ] [ Oc ] [ om ] [ pl ] [ pr ] [ program ] [ programming ] [ re ] [ ro ] [ S ] [ SA ] [ SAS ] [ SASL ] [ si ] [ SL ] [ sy ] [ syntax ] [ T ] [ th ] [ to ] [ ua ] [ UCS ] [ V ] [ va ] [ ve ] [ version ]