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