H ? « ‹ ← → › »

Language peer sets for LML:
Designed 1990 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

LML(ID:1565/lml002)

alternate simple view
Designed 1990
Published: 1990

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

Structures:
References:
  • A. Brogi et al, (1990) 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.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder