F+L

F+L

(language)Functions plus Logic. Equational clauses withinfunction definitions to solve for logic variable bindings.

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