H ? « ‹ ← → › »

Language peer sets for Denali:
Designed 1987 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Denali(ID:4449/den001)

alternate simple view
Designed 1987

equational logic programming language that supports predicate and data abstraction
References:
  • Zachary, J. L. (1987) Zachary, J. L., "A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm", Ph.D. Thesis (Report MIT/LCS/TR-405) Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder