Logic, Equations and Functions. An integration of logic programming and functional programming by H. Ait-Kaci et al of MCC, Austin TX.