<programming language>

A strongly typed logic programming language with numerical constraint-solving over the natural numbers, developed by Paul Voda <voda@voda.ii.fmph.uniba.sk> at UBC in 1988. Trilogy is syntactically a blend of Prolog, Lisp, and Pascal. It contains three types of clauses: predicates (backtracking but no assignable variables), procedures (if-then-else but no backtracking; assignable variables), and subroutines (like procedures, but with input and system calls; callable only from top level or from other subroutines).

Development of Trilogy I stopped in 1991. Trilogy II, developed by Paul Voda 1988-92, was a declarative general purpose programming language, used for teaching and to write CL.

MORE.

["The Constraint Language Trilogy: Semantics and Computations", P. Voda, Complete Logic Systems, 741 Blueridge Ave, North Vancouver BC, V7R 2J5].

(01 May 2000)

trilobate, trilobita, trilobite, trilocular < Prev | Next > trilogy, trilogy of fallot, trilostane

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums

A triad of related entities.

Origin: G. Trilogia, fr. Tri-+ logos, study, discourse

Trilogy of Fallot, a set of congenital defects including pulmonic stenosis, atrial septal defect, and right ventricular hypertrophy.

Synonyms: Fallot's triad.

(05 Mar 2000)

trilobita, trilobite, trilocular, Trilogy < Prev | Next > trilogy of fallot, trilostane, trim

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums