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

Твердыня модульных языков
Текущее время: 18 ноя 2018, 08:21

Часовой пояс: UTC + 2 часа




Начать новую тему Ответить на тему  [ Сообщений: 5 ] 
Автор Сообщение
СообщениеДобавлено: 05 фев 2018, 23:03 
Не в сети
Аватара пользователя

Сообщения: 918
Откуда: Днепропетровская обл.
Меня в давние времена поразил концепт языка Пролог — механизм логического вывода из базы знаний. В статье в журнале «Информатика и образование» Пролог называли языком четвёртого поколения. Почему-то в четвёртое поколение втулили и Форт. И ещё там говорилось о языке 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 КБ | Просмотров: 976 ]
Вернуться к началу
 Профиль  
Ответить с цитатой  
СообщениеДобавлено: 05 фев 2018, 23:11 
Не в сети

Сообщения: 271
http://ii.fmph.uniba.sk/cl/view.php/download/


Вернуться к началу
 Профиль  
Ответить с цитатой  
СообщениеДобавлено: 05 фев 2018, 23:26 
Не в сети
Аватара пользователя

Сообщения: 918
Откуда: Днепропетровская обл.
Спасибо. Но, насколько я понимаю, Trilogy II — не CL, он только использовался при разработке CL.


Вернуться к началу
 Профиль  
Ответить с цитатой  
СообщениеДобавлено: 06 фев 2018, 06:59 
Не в сети

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

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


Вернуться к началу
 Профиль  
Ответить с цитатой  
СообщениеДобавлено: 06 фев 2018, 07:19 
Не в сети

Сообщения: 184
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.


Вернуться к началу
 Профиль  
Ответить с цитатой  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 5 ] 

Часовой пояс: UTC + 2 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
cron
Создано на основе phpBB® Forum Software © phpBB Group
Тех.поддержка phpBB