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.

N="left">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 ]