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)