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

Приказы как структурные элементы программы являются расширением классического Пролога для поискового движка.

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

Синтаксически приказ оформляется как обычный предикат со знаком восклицания в конце:

create_schema!

Все приказы, разбросанные по Пролог-программе, исполняются при старте движка (сразу после загрузки скомпилированного словаря), что позволяет подготовить необходимые внутренние структуры - создать таблица в базе данных, настроить счетчики и так далее.

  © Mental Computing 2010