LML(ID:1565/lml002)

Began: 1990
Published: 1990
- 1990

Logical ML. Adds to Lazy ML a data type of 'theories' whose objects represent logic programs.

Structures:

Function

References:

A. Brogi et al, "Logic Programming within a Functional Framework", in Programming Language Implementation and Logic Programming, P. Deransart et al eds, LNCS 456, Springer 1990. view details