Приветствую!

Когда-то давно учил Пролог в Институте. Ну учил и учил, а тут давеча попалась задачка, будто специально для Пролога придуманная.
Не подскажут ли знающие, Пролог еще жив или нет?
Если нет, то что вместо него?
А если жив, то какую по возможности бесплатную его версию стоит брать? (можно с поддержкой перехода на С++/Java/etc.)

Спасибо!

Здравствуйте, Rothmans, Вы писали:

R>Не подскажут ли знающие, Пролог еще жив или нет?
Слухи о его смерти несколько преувеличены, он просто так пахнет
А если честно — чтот давно о каком-то его использовании ничего не слыхать.
R>Если нет, то что вместо него?
Думаю, стоит здесь глянуть.

Здравствуйте, Rothmans, Вы писали:

R>Когда-то давно учил Пролог в Институте. Ну учил и учил, а тут давеча попалась задачка, будто специально для Пролога придуманная.
R>Не подскажут ли знающие, Пролог еще жив или нет?
R>Если нет, то что вместо него?
R>А если жив, то какую по возможности бесплатную его версию стоит брать? (можно с поддержкой перехода на С++/Java/etc.)

Можно Mercury еще посмотреть. Правда, там вывод иначе устроен.

Здравствуйте, Курилка, Вы писали:

К>А если честно — чтот давно о каком-то его использовании ничего не слыхать.

Clarissa, a fully voice-operated procedure browser has been developed by the NASA Intelligent Systems Division.
Ericsson Network Resource Manager (NRM) provides the capabilities for configuring and managing complex multi vendor IP Backbone networks.

и т. д.

Здравствуйте, Rothmans, Вы писали:

R>А если жив, то какую по возможности бесплатную его версию стоит брать? (можно с поддержкой перехода на С++/Java/etc.)
Совсем бесплатных приличных только два: SWI-Prolog и GNU Prolog.
Первый поудобнее, с большим набором библиотек. Второй попроизводительнее.

Здравствуйте, Rothmans, Вы писали:

R>Не подскажут ли знающие, Пролог еще жив или нет?
R>А если жив, то какую по возможности бесплатную его версию стоит брать? (можно с поддержкой перехода на С++/Java/etc.)

http://www.visual-prolog.com/ персональная лицензия для некоммерческого использования — бесплатна.

Здравствуйте, Rothmans, Вы писали:

R>Когда-то давно учил Пролог в Институте. Ну учил и учил, а тут давеча попалась задачка, будто специально для Пролога придуманная.
R>Не подскажут ли знающие, Пролог еще жив или нет?
R>Если нет, то что вместо него?
R>А если жив, то какую по возможности бесплатную его версию стоит брать? (можно с поддержкой перехода на С++/Java/etc.)

Если с поддержкой Java, и логика статическая (правила не добавляются динамически) — можно попробовать Kiev compiler.
Немного о поддержке логического программирования написано в его доке http://www.symade.org/kiev-263_4.html

Здравствуйте, mkizub, Вы писали:

M>Здравствуйте, Rothmans, Вы писали:

R>>Когда-то давно учил Пролог в Институте. Ну учил и учил, а тут давеча попалась задачка, будто специально для Пролога придуманная.
R>>Не подскажут ли знающие, Пролог еще жив или нет?
R>>Если нет, то что вместо него?
R>>А если жив, то какую по возможности бесплатную его версию стоит брать? (можно с поддержкой перехода на С++/Java/etc.)

M>Если с поддержкой Java, и логика статическая (правила не добавляются динамически) — можно попробовать Kiev compiler.
M>Немного о поддержке логического программирования написано в его доке http://www.symade.org/kiev-263_4.html

Вообще-то логика динамическая. Но за ссылку на раобту земляков (судя по названию) спасибо

Здравствуйте, Rothmans, Вы писали:

R>Вообще-то логика динамическая. Но за ссылку на раобту земляков (судя по названию) спасибо

А что именно за задача?

Здравствуйте, mkizub, Вы писали:

M>Здравствуйте, Rothmans, Вы писали:

R>>Вообще-то логика динамическая. Но за ссылку на раобту земляков (судя по названию) спасибо

M>А что именно за задача?

Да "поисковая". Так сказать, посттпенно набирается "база знаний", из которой по запросу ответы выбираюются. Как всегда в этих случаях в общем

Здравствуйте, Rothmans, Вы писали:

R>Когда-то давно учил Пролог в Институте. Ну учил и учил, а тут давеча попалась задачка, будто специально для Пролога придуманная.
R>Не подскажут ли знающие, Пролог еще жив или нет?
R>Если нет, то что вместо него?
R>А если жив, то какую по возможности бесплатную его версию стоит брать? (можно с поддержкой перехода на С++/Java/etc.)

Жив. Беспл версия Personal Edition Visual-Prolog

там же какая-то конференция в Питере летом будет написано

Здравствуйте, Rothmans, Вы писали:

R>Если нет, то что вместо него?

Ещё есть язык curry — это хаскелл с недетерминизмом и бэктрекингом. Имхо, на любителя... зато все вкусности хаскелла.

Здравствуйте, Rothmans, Вы писали:

R>А если жив, то какую по возможности бесплатную его версию стоит брать? (можно с поддержкой перехода на С++/Java/etc.)
Вот в этой книжке прилагается сидюк с лицензионной версией Visual Prolog от производителя.

Здравствуйте, Rothmans, Вы писали:
R>Когда-то давно учил Пролог в Институте. Ну учил и учил, а тут давеча попалась задачка, будто специально для Пролога придуманная.
R>Не подскажут ли знающие, Пролог еще жив или нет?

Жив!
Pure, Declarative, and Constructive Arithmetic Relations (LtU, 2008-02-27 )