dll на SWI Prolog

Здравствуйте. Кто-нибудь знает, можно ли создавать dll в SWI Prolog? В хелпе есть, как вызывать из него код C/C++, но это, по-моему, все равно что из SQL-запросов вызывать код, обрабатывающий их результаты. Можно ли использовать SWI Prolog, например, из C#? И еще, какие есть нюансы с компиляцией/интерпретацией? Можно приложения SWI Prolog запускать на машине, где нет интерпретатора?

0

Присоединяюсь к вопросу.
Больше интересует не DLL, а статическая сборка, вот это:

Можно приложения SWI Prolog запускать на машине, где нет интерпретатора?

Ньюансов там хватает, я например баловался с Prolog-script, штука прикольная, но без интерпретатора никак (это логично, ведь скрипт).

В СВИ для компиляции есть куча флажков, я их уже не помню, но вроде бы там есть флажок, который засовывает интерпретатор в исполняемый файл, но зависимость от библиотек сохраняется (под линуксом во всяком случае) и как впихнуть все в тот же исполняемый файл библиотеки я не нашел. Было желание завернуть все это в С++ приложение и уже к енму прилинковать библиотеки, но я забил. Кто-нибудь знает, это единственный выход?

Суть такова, что неразрешимость этого вопроса - одна из причин, по которой я забросил сви-пролог (пролог-скрипт - очень крутая штука, и кроссплатформенная, но у кого из ваших друзей установлен сви-пролог?).

Если кто-нибудь уверен что знает в каком направлении копать - подскажите, я покопаю, и оформлю результаты в статью (на блоге), чтобы больше вопросов не возникало (однако, в этом году вижу уже третью тему где поднимается похожий вопрос).

В хелпе есть, как вызывать из него код C/C++, но это, по-моему, все равно что из SQL-запросов вызывать код, обрабатывающий их результаты.

на практике я сви почти не применял, но читал, что так делается постоянно, с целью оптимизации и не только.
Вроде как нормальная перегрузка операторов без С++ не заработает (в СВИ она есть, но какая-то ущербная)

1

Да, исполняемый файл на SWI сделать можно, библиотеки положил в ту же директорию, и все заработало. Не знаю правда, как там что компилируется или интерпретируется, в машинный или промежуточный код. Очень все запутанно.
Но это не главное, хочется связать SWI с другими ЯП, причем вызывать именно пролог-код из ЯП более общего назначения. Если SWI способен компилироваться, то наверно и dll можно как-то сделать. А может и нельзя. Опять-таки неясно, как использовать такую dll, если нет типизации.
http://www.lesta.de/prolog/swi... Index.aspx здесь вроде что-то написали похожее, не разобрался еще. Кажется, оно работает в режиме интерпретатора? В общем, нужна помощь знатоков

0

Не знаю правда, как там что компилируется или интерпретируется

у СВИ нет компилятора в машинный код, потому что есть фича - в базу данных можно добавлять не только факты, но и правила.

Но это не главное, хочется связать SWI с другими ЯП, причем вызывать именно пролог-код из ЯП более общего назначения.

это можно сделать - в сви есть биндинги для плюсов - я их точно видел. Я не пробовал их использовать - я посмотрел что это очень неудобно.

Если вам нужен нормальный компилируемый пролог - то я думаю стоит на VIP посмотреть (хотя, он платный и только под win работает).

0

А можно интерпретатор SWI встроить в приложение C#, чтобы оно работало на машинах, где не установлен SWI-prolog?

0

Все можно, только надо потрудиться...
Если к Delphi прицепили и через COM на VBScript, то уж на C# наверняка можно.
code.google.com_p_gedemin-prolog
code.google.com_p_gedemin
gedemin.blogspot.com/2013/08/embedded-swi-prolog_html

0

Сообщение от arlat Все можно, только надо потрудиться... Если к Delphi прицепили и через COM на VBScript, то уж на C# наверняка можно. code.google.com_p_gedemin-prolog code.google.com_p_gedemin gedemin.blogspot.com/2013/08/embedded-swi-prolog_html

Спасибо, раньше я бы у вас порасспрашивал что-нибудь, но уже как-то охладел
Не вижу задач, где недостаточно было бы известных языков с большими удобными красивыми IDE, кучей библиотек, поддержкой известных технологий, прекрасной документацией и технической поддержкой, огромным русскоязычным сообществом и совместимостью со всем и вся, а потребовался бы еще маленький, никем не понятый пролог, для которого всё почему-то только начинает развиваться и писаться (в основном энтузиастами), хотя пролог стар, как мамонт. Негде его на практике применять, а может и незачем. Вот вы говорите, что уже очень много лет прологом не интересовались, так может он уже и не нужен вовсе стал за это время?

0

Интересовался всегда... но ведь и зарабатывать надо.
Конъюнктура в свое время заела, но по серьезному ни на один императивный ЯП я так и не перешел, специализируюсь в большей степени как SQL-программист + всякое-разное-что-для-интерфейса.
Посмотрим, вот появился реальный проект, где будет использоваться SWI-Prolog.
Там же Delphi 5, Firbird, VBScript, все для своих задач.

0

Сообщение от feofilakt Спасибо, раньше я бы у вас порасспрашивал что-нибудь, но уже как-то охладел

Всё дело в неверном восприятии такого нишевого языка, как Prolog. Сделать из Prolog-а язык общего назначение - это глупо и совершенно нецелесообразно.
Prolog язык для прототипирования, например, ЭС с обратным логическим выводом или задач machine learning. Язык для исследователей и эксперементаторов. И в этом смысле, у Prolog-а достаточно хорошая поддержка.
SWI-Prolog имеет отличную документацию. Также блестящую поддержку имеет коммерческий SICStus Prolog.
То есть Prolog сейчас там, где и должен быть и нет никакой несправедливости в этом смысле.

Добавлено через 4 минуты
И не надо в Prolog-е искать какую-то панацею. Это один из многочисленных инструментов, не более того. Мне он помогает делать свою работу эффективнее.

0

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

0

Сообщение от feofilakt ... тогдашнем любимом ЯП.

Дело в том, что Пролог и был можно сказать "тогдашний" первый, ну и пусть будет "любимый", ASM и PL/1 уровня лабораторной работы не в счет...

0

Сообщение от arlat Дело в том, что Пролог и был можно сказать "тогдашний" первый, ну и пусть будет "любимый", ASM и PL/1 уровня лабораторной работы не в счет...

Это был ответ на комментарии nullxdth, а не ваш... Надо было цитату вставить

0

Сообщение от nullxdth Всё дело в неверном восприятии такого нишевого языка, как Prolog. Сделать из Prolog-а язык общего назначение - это глупо и совершенно нецелесообразно. Prolog язык для прототипирования, например, ЭС с обратным логическим выводом или задач machine learning. Язык для исследователей и экспериментаторов. И в этом смысле, у Prolog-а достаточно хорошая поддержка. SWI-Prolog имеет отличную документацию. Также блестящую поддержку имеет коммерческий SICStus Prolog. То есть Prolog сейчас там, где и должен быть и нет никакой несправедливости в этом смысле.

Полностью поддерживаю. В процессе разработки ПО сегодня применяется комплекс различных инструментов.
Никто же не будет говорить, - давайте все напишем на SQL. Хотя я знавал программистов, считающих, что они владеют SQL, а на поверку, - жалкие потуги. Так что, ребята, спорить не о чём, используйте согласно своим предпочтениям и сложившейся ситуации те инструменты, которые считаете адекватными для текущей задачи.
Я точно знаю, что буду использовать SWI-Prolog и Embedded SWI-Prolog, также как и то, что буду изначально выжимать максимум от SQL, а потом уже передавать в факты в Prolog, также как и то, что интерфейс будет на Delphi или другой подобной среде... ну, и т.д.

0

В дополнение: SWI-Prolog interface to C#

1