Source : Free On-Line Dictionary of Computing

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].
     
        (1994-10-21)