LML

from The Free On-line Dictionary of Computing (8 July 2008)
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)