You are here: irt.org | FOLDOC | Trilogy
<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.
["The Constraint Language Trilogy: Semantics and Computations", P. Voda, Complete Logic Systems, 741 Blueridge Ave, North Vancouver BC, V7R 2J5].
(2000-04-08)
Nearby terms: trigger finger « TRIGMAN « trillion « Trilogy » triple DES » tri state » trit
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL