lml
     
        1. lazy ml.
     
        a lazy, purely functional variant of ml designed by
        thomas johnson and lennart augustsson at the chalmers
        university of technology, gothenburg, sweden in 1984.  lml is
        implemented on the g-machine, and was used to implement the
        first haskell b compiler.  there is a compiler lmlc and
        interpreter.
     
        ftp://ftp.cs.chalmers.se/pub/haskell/chalmers.
     
        1994-12-14
     
        2. logical ml.
     
        adds to lazy ml a data type of "theories" whose objects
        represent logic programs.
     
        "logic programming within a functional framework", a. brogi
        et al, in programming language implementation and logic
        programming, p. deransart et al eds, lncs 456, springer 1990.
     
        1994-12-14
     
     
see also:
lazy purely functional ml g-machine haskell b compiler lt;ftp://ftp.cs.chalmers.se/pub/haskell/chalmersgt; lazy ml logic program