Оберон-клуб «ВЄДАsoft»

Trilogy

A strongly typed logic programming language with numerical constraint-solving over the natural numbers, developed by Paul Voda 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.

Если кто-нибудь знает больше об этом языке, напишите.

I basically stopped using because I could get constraint logic programming systems (one of Trilogy's features) with more familiar syntax (that is, more like Edinburgh Prolog) that ran on bigger faster UNIX boxes.

Voda sold the rights to TRILOGY to one Canadian company which sold their own version for a year or so.
This company went under and one of the principles who I tracked down a year or two ago mentioned having several hundred unsold copies in his ba{*filter*}t.
Meanwhile Voda was working on a new version of TRILOGY which as far as I know was never finished.