H ? « ‹ ← → › »

Language peer sets for Trilogy II:
Canada↑
Canada/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Experimental and other ↑
Experimental and other/1988↑
Experimental and other/ca ↑

Trilogy II(ID:5504/tri006)

alternate simple view
Country: Canada
Designed 1988
Sammet category: Experimental and other

Constraint logic programming language developed by Paul Voda 1988-92, at UBC and Logic Systems

Declarative general purpose programming language, used for teaching

Clausal Language (CL) was written in it





Related languages
Trilogy → Trilogy II   Evolution of
Trilogy II → CL   complete Written using
References:
  • Voda, Paul J. (1988) Voda, Paul J. "Types of Trilogy" Kowalski, Robert A. and Kenneth A. Bowen "Logic Programming", Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19, 1988. MIT Press 1988 pp 580-589
  • P. Borovansky, P. Voda, and M. Winczer. (1992) P. Borovansky, P. Voda, and M. Winczer. "Design of Trilogy" Technical report, Comenius University, 1991, 1992.
  • P.J. Voda, (1994) P.J. Voda, "Subrecursion as a Basis for a Feasible Programming Language," Proc. CSL'94, Lecture Notes in Computer Science 933, Springer-Verlag, 1994, pp. 324-338.
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder