LML[2]

Logical ML

Adds to LML[1] 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, Lecture Notes in Computer Science 456, Springer-Verlag, 1990.