The DICT Development Group

Search for:
Search type:

Database copyright information
Server information
Wiki: Resources, links, and other information

1 definition found
 for LeFun
From The Free On-line Dictionary of Computing (18 March 2015) :

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

Questions or comments about this site? Contact webmaster@dict.org