LeFun

Logic, Equations and Functions. An integration of logicprogramming 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)