Пролог - это язык логического программирования ориентированный на решение задач ИИ. К основным недостаткам относятся - тяжелый синтаксис и плохая интеграция с современными системами программирования.

YieldProlog - это попытка реализовать основной функционал в системах.Net 2.0, JavaScript и Python, в которых есть ключевое слово yield.

http://sourceforge.net/projects/yieldprolog

(29) синтаксис там,дааа...мама не горюй! А ваще,Prolog это такой
ассемблер логического программирвания.

Современная реализация Пролог - XSB.
http://sourceforge.net/projects/xsb

Думаю (0) - довольно перспективен. Особенно для .Net.
JavaScript и Python жутко тормозят.

Есть пример решения задачи о ферзе.

(1) Хе, у меня мама писала на Прологе и чертыхалась. Детские воспоминания...:)

Хватит флеймить в тематической ветке

На самом деле где-то видел ссылку о том что кто-то думал/пытался (так и не понял) реализовать лисп на 1С :-)

Так что почему бы не быть прологу на нет
Благо - язык нормальный и понятный.

Как бабы ей богу... Читать противно...

(0) это гут.
Обазательно посмотрю на досуге.
По теме: есть еще AmziProlog http://www.amzi.com
Имеет API для всех возможных средств разработки:
Embed Prolog rule-based components in C/C++, Java, Delphi, Visual Basic, C#, Web Servers (Servlets, JSP, ASP.NET, CGI) and more.
Есть возможность пользоваться им через COM, т.е. с 1С должен интегрироваться на ура :)

(12) лень читать было,ты мне лучше скажи это free интсрумент?

Вот только не понял за что мое сообщение скрыли

в (0) JavaScript-реализация пока не доделана.
Автор почему-то решил, что в нем есть оператор foreach.

(13) есть и free (правда без отладки)

(14) - сорри промахнулся. Первый раз такое делаю.
Как говоила Таня - как много кнопочек появилось - как страшно жить!

Да нормально...
А вот интересно: можно ли логически описать наше законодательство, так что бы просто элементарным выводом строить нужные конфигурации бухучета?

(18) - наше законодательство не поддается логическому объяснению.

может просто не ту логику МЫ используем при прочтении?

(18) логически можно,только все равно-не поймешь его.