Меня в давние времена поразил концепт языка Пролог — механизм логического вывода из базы знаний. В статье в журнале «Информатика и образование» Пролог называли языком четвёртого поколения. Почему-то в четвёртое поколение втулили и Форт. И ещё там говорилось о языке Trilogy, основанном на идеях Пролога и Лиспа. И рекомендовалось обратить на этот язык особое внимание. Жаль, но с тех пор я о нём ничего не слышал и не встречал. Вот попробовал погуглить:
Цитата:
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.
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.
Если кто-нибудь знает больше об этом языке, напишите.
| Вложения: |
|
Trilogy.jpg [ 389.15 КБ | Просмотров: 18660 ] |