SWI-Prolog в семантической сети

Отказ от ответственности: я не использовал SWI-Prolog в коммерческой / производственной среде, я не пробовал интерфейс SWI / Java (хотя в списке рассылки SWI-Prolog сообщалось, что он работает достаточно хорошо), и меня не интересует семантическая сеть.

Тем не менее, я написал большой и нетривиальный проект с использованием SWI-Prolog, и это не было игрушечным приложением - мне нужно, чтобы оно работало, чтобы завершить мое исследование. Поэтому у меня есть некоторые учетные данные для ответа на этот вопрос, даже если не все из обязательных.

В контексте большого проекта лучше всего рассматривать Prolog как предметно-ориентированный язык для написания процедур поиска - в отличие от SQL и хранилища. Prolog отлично справляется с одной задачей - с решением проблем поиска. Если ваша проблема может быть сужена до поиска допустимого присвоения набору переменных с учетом набора фактов и правил, Prolog - ваше оружие выбора: вам не придется беспокоиться ни о чем другом в вашем коде, кроме настройки запросы и правила. Он также будет работать достаточно быстро, особенно если вы скомпилируете предикаты. Prolog часто работает медленно не потому, что он по своей сути медленный, а потому, что он запускает процедуры поиска в большом пространстве поиска.

Помня об этом, вы можете интегрировать его с Java так же, как интегрируете SQL: Prolog позаботится о поиске. Он хранит постоянные данные и правила и выполняет запросы. Приложение Java позаботится обо всем остальном.

Среда разработки - это слабое место для Prolog. У вас не получится навороченной IDE - просто потому, что есть очень мало вещей, о которых стоит волноваться. Программы Prolog редко имеют полную информацию о времени компиляции, поэтому вы не получите идеального автозаполнения. Я просто использовал Emacs с всегда открытой оболочкой Prolog. В большинстве случаев текстовый трассировщик / отладчик Prolog подойдет. SWI поставляется со своим собственным графическим отладчиком, но я его не пробовал.

У Prolog есть несколько редко известных преимуществ: встроенная структура синтаксического анализа (правила DCG), отличная система макросов (расширение терминов) и мета-предикаты (вызов, поиск и т. Д.). Если вы умеете ими пользоваться, это настоящие козыри в вашей колоде.

Подводя итог: увеличивает ли Prolog производительность или снижает ее? Это зависит от того, что в настоящее время блокирует вашу продуктивность. Если вы тратите слишком много времени на размышления о том, как реализовать в Java процедуры представления знаний и поиска - просто используйте Prolog; Это не значит, что вы реализуете свои собственные красно-черные деревья вместо использования SQL. Если вы ищете производительность в мягком реальном времени и испорченную среду IDE - попробуйте что-нибудь еще.

Я тоже не использовал его в производственной среде, но я интегрировал его в основанную на Java / Eclipse рабочую среду Bioclipse, для использования в реальных сценариях в рамках моей дипломной работы. Кроме того, диссертационная работа была сосредоточена на тестировании производительности и удобства использования интеграции пролога в Bioclipse.

Я дам краткие ответы на вопросы, которые вы задали ниже, но для всех, кто интересуется, большую часть информации можно найти в моем тезисе под названием " SWI-Prolog как инструмент семантической паутины для семантических запросов в Bioclipse: интеграция и тестирование производительности ", а также в моем соответствующем теге сообщения в блоге. Исходный код доступен в репозитории github.

Как вы интегрировались с таким языком программирования, как Java?

Я использовал интерфейс JPL Java Prolog

Для чего вы использовали библиотеки пролога (в контексте семантической сети)?

Я использовал его для сопоставления образцов с базой данных RDF, содержащей около 60000 спектров ЯМР, содержащих пики разной высоты. Я использовал это, чтобы проверить производительность SWI-Prolog для этой операции по сравнению с другими инструментами семантической паутины, такими как Pellet и Jena (на основе Java). (Кстати, SWI-Prolog намного превосходит оба этих инструмента).

Какая среда разработки использовалась?

Затмение RCP

Мне очень нравится идея использования swi prolog, но я буду избегать ее, если это повлияет на производительность.

Мой опыт показывает, что, помимо повышения производительности при решении определенных проблем, производительность некоторых операций также намного выше, чем у инструментов, написанных на обычных языках программирования.