H ? « »

Language peer sets for Trilogy II:
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

  • 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.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder