F+L




<language> Functions plus Logic.

Equational clauses within function definitions to solve for logic variable bindings.

["Functions plus Logic in Theory and Practice", R.B. Kieburtz, Feb 1987, unpublished].



< Previous Terms Terms Containing F+L Next Terms >
fixpoint
fj
Fjolnir
fk
FL
 flag
flag day
FLAIR
flaky
flamage