You are here: irt.org | FOLDOC | 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].
(1994-10-20)
Nearby terms: Fjolnir « fk « FL « F+L » flag » flag day » FLAIR
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL