LeFun

MCC, Austin

An integration of logic and functional programming.

"LeFun: Logic, Equations and Functions", H. Ait-Kaci et al, Proceedings of the 1987 Symposium on Logic Programming, San Francisco.