Trilogy II(ID:5504/tri006)

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. "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 view details
  • P. Borovansky, P. Voda, and M. Winczer. "Design of Trilogy" Technical report, Comenius University, 1991, 1992. view details
  • 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. view details
    Resources