LeFun

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].

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in ?

Life
Wild_LIFE

References in periodicals archive ?

We dropped by the Guangzhou Lefun Culture Science and Technology showroom, and were treated to demonstrations of China's magnificent advances in multimedia technology, including theaters equipped with sound and picture systems that enhance the viewing experience.