F+L

A language featuring equational clauses within function definitions to solve for logical variable bindings.

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