Оберон-клуб «ВЄДАsoft»
https://zx.oberon.org/forum/

Trilogy: язык программирования на идеях Пролога и Лиспа
https://zx.oberon.org/forum/viewtopic.php?f=123&t=374
Страница 1 из 1

Автор:  Zorko [ 05 фев 2018, 23:03 ]
Заголовок сообщения:  Trilogy: язык программирования на идеях Пролога и Лиспа

Меня в давние времена поразил концепт языка Пролог — механизм логического вывода из базы знаний. В статье в журнале «Информатика и образование» Пролог называли языком четвёртого поколения. Почему-то в четвёртое поколение втулили и Форт. И ещё там говорилось о языке 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.

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

Вложения:
Trilogy.jpg
Trilogy.jpg [ 389.15 КБ | Просмотров: 11689 ]

Автор:  budden [ 05 фев 2018, 23:11 ]
Заголовок сообщения:  Re: Trilogy: язык программирования на идеях Пролога и Лиспа

http://ii.fmph.uniba.sk/cl/view.php/download/

Автор:  Zorko [ 05 фев 2018, 23:26 ]
Заголовок сообщения:  Re: Trilogy: язык программирования на идеях Пролога и Лиспа

Спасибо. Но, насколько я понимаю, Trilogy II — не CL, он только использовался при разработке CL.

Автор:  geniepro [ 06 фев 2018, 06:59 ]
Заголовок сообщения:  Re: Trilogy: язык программирования на идеях Пролога и Лиспа

Лисперы обычно делают свою машину вывода и забывают про Пролог.

Я бы посоветовал посмотреть на https://en.wikipedia.org/wiki/Mercury_( ... g_language) -- он вроде бы весьма неплохой машинный код генерирует, а это больное место прологов. Сам, впрочем, я им не пользовался, так что не знаю каков он в реальном бою...

Автор:  geniepro [ 06 фев 2018, 07:19 ]
Заголовок сообщения:  Re: Trilogy: язык программирования на идеях Пролога и Лиспа

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

20 лет назад обсуждался этот язык:
http://computer-programming-forum.com/2 ... b2ffc3.htm
http://computer-programming-forum.com/5 ... 6892e6.htm
Цитата:
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.

Страница 1 из 1 Часовой пояс: UTC + 2 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/