Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


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].


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

©2018 Martin Webb