GYGYAlexandrPlus,
http://www.franz.com

Пишут, что Allegro Prolog реализ. на Common Lisp. А вообще похоже Allegro CL - забавная игрушка.


К вопросу скорости выполн. Пролога. Джапаны помнится пытались создать компьютерную архитектуру под Пролог.


По Прологу
B-Prolog -- a CLP system that runs Prolog and CLP(FD) programs.
BinProlog -- a fairly complete and efficient Prolog compiler.
clp(FD,S) -- semiring-based constraint logic programming language over finite domains.
GNU Prolog -- a Prolog compiler with constraint solving over finite domains.
jProlog -- a Prolog interpreter in Java.
JVProlog -- implementation of Prolog based on special abstract machine. Пролог-архитектуры
Linux Poplog -- developing Common Lisp, Prolog, Pop-11 and standard ML.
LLP -- a logic programming language based on intuitionistic linear logic. Другие логики
Lolli -- a logic programming language based on a fragment of linear logic.
Lygon -- Prolog extended with features derived from linear logic.
PM -- a compiler for the logic programming language LambdaProlog.
Prolog + Logic Server -- Prolog component developing in other languages.
SICStus Prolog -- advanced Prolog applications development system.
SWI-Prolog -- a fairly complete Edinburgh-style Prolog.
Terzo -- an interpreter of lambda Prolog implemented in Standard ML of NJ.
W-Prolog -- an interpreter for a Prolog like language implemented in Java.
wamcc -- a Prolog Compiler which translates Prolog to C.
XSB -- an extension of an Edinburgh Prolog system.

Gluk (Kazan)AlexandrPlus
Конструктивы логического программирования будут опять востребованы как востребованы оказываются конструктивы логического.


Повторяй эту мантру 3000 раз в день, и да пребудет с тобой сила :)

Знаешь, от апологета логического программирования ожидается несколько большая четкость в логических выводах

Или ты так провел унификацию ???

Блин. Тяжело, разговаривая с двумя, при этом писать.

...,!.
Конструктивы логического программирования будут опять востребованы как востребованы оказываются конструктивы функционального.

Александр, ваши сведения про лисп изрядно устарели. Лисп по своей сути-синтаксическое дерево, благодаря этому из лиспа можно сделать любой язык программирования. Т.е. он мультипарадигменный, и писать там можно и в функциональном стиле, и в императивном, и пролог в нем тоже реализуется. Сейчас лисп-программисты чаще всего придерживаются концепции "каждой задаче-свой язык"[/quot]

Наверно где-то существую диссертации, где ЛИСП на Прологе реализовывали.

студентик
По мне так Прологу на сегодняшний день мешает, в основном, отсутствие поддержки нечеткой логики. Подавляющее большинство практических задач неформализованны, просто нереально составить непротиворечивый и полный набор прологовских правил. А если добавить нечеткость, то можно впихивать его почти куда угодно, "украшая" свои программы интеллектуальными элементами.


Чтобы программа на одни и те же входные
данные выдавала разные результаты?

Отметить важно для полноты, что
Пролог используется вместо SQL
уже во многих системах.

В Erlang для Mnesia, СУБД в инструментарии Erlang, язык запросов - Пролог. (Между прочим на Erlang (то есть грубо говоря - на языках ЛИСП и Пролог) написан web-сервер Yaws).

Вот и в указанном Allegro CL для AllegroCache, СУБД в Allegro CL, язык запросов - Пролог.

GYGYAlexandrPlusОтметить важно для полноты, что
Пролог используется вместо SQL
уже во многих системах.

В Erlang для Mnesia, СУБД в инструментарии Erlang, язык запросов - Пролог. (Между прочим на Erlang (то есть грубо говоря - на языках ЛИСП и Пролог) написан web-сервер Yaws).

Вот и в указанном Allegro CL для AllegroCache, СУБД в Allegro CL, язык запросов - Пролог.

ИМХО - то для чего используются эти не реляционные СУБД собственно SQL и не нужен, а вот Prolog (в AC) очень даже к месту.
Я тут попиливаю "учебный" проектик и мне очень понравилось совместное использование СУБД(BDB+LISP+Prolog) + РСУБД(PG). ИМХО - они очень ну что ли "удачно" дополняют друг друга.

В Mnesia данные в таблицах. А в AL - какие структуры данных?
Так были проекты прямо для SQL-ых СУБД SQL заменить Прологом - например, Datalog.

Собственно - факты Пролога есть отношения - и есть по сути таблицы.

PG - PostgreSQL?
BDB - ?