Пролог-автомат (pa) в поисковом движке FAIND: средства логического вывода и извлечения знаний

 

Пара слов от разработчиков

Пролог как язык взаимодействия с СУБД

История развития языка Пролог: взлет и закат

Синтаксис Пролога

    Атомы

    Переменные

    Утверждения

    Правила

    Приказы

    Списки

    Встроенные предикаты

    Базы данных

    Комментарии

Унификация

Техническая реализация

Словарь языка Пролог (англ)

Каталог ссылок

Примеры

Извлечение знаний

Благодарности

 

Синтаксис Пролога

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

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

 

Комментарии в тексте программ

В качестве символов комментариев используются не стандартные для Пролога проценты %, а привычные для C-программиста /* ... */ и //.

 

Техническая реализация

Все исходные тексты логической машины входят непосредственно в состав Проекта и находятся в подкаталоге LEM\ai\pa (см. раздел об исходных текстах). Все файлы (в том числе заголовочные) имеют название, начинающееся с pa_.

 

Благодарности

В разделе использованы материалы из курса лекций по предмету "Основы проектирования систем с искусственным интеллектом", составитель - Сергей Леонидович Сотник, г. Днепродзержинск, 1997-1999 г.

В качестве литературы по языку Пролог можно порекомендовать:

Дж. Малпас "Реляционный язык Пролог и его применение": пер. с англ. / Под редакцией В.Н. Соболева. - М.: Наука, Гл. ред. физ.-мат. лит., 1990. - 464 с.

Братко И. "Программирование на языке Пролог для искусственного интеллекта": пер. с англ. - М.: Мир, 1990. 

Стерлинг Л., Шапиро Э. "Искусство программирования на языке Пролог": пер. с англ. - М.: Мир, 1990. 
 

 

 

  © Mental Computing 2010