Logic, Equations and Functions.An integration of {logic programming} and {functional programming} by H. Ait-Kaci et al of MCC, Austin TX.["LeFun: Logic, Equations and Functions", H. Ait-Kaci et al, Proc 1987 Symp on Logic Programming, San Francisco].(1994-10-21)