SWI-Prolog

Версия 10:00, 15 июля 2015

Система логического программирования на встроенном SWI‑Prolog

Файлы и ресурсы

Расположение файлов см. Список файлов дистрибутива платформы Гедымин

Системные файлы DLL

Файлы DLL для расширения системы (плагины)

Ресурсные архивы

Для разработчиков

PL-классы

Под термином PL-класс понимается класс, предназначенный на для взаимодействия со встроенным SWI‑Prolog.
Соответственно, экземпляр PL-класса будет называться PL‑объект.

TgsPLClient

Класс клиента SWI-Prolog.

Иерархия

TObject

Методы

Initialise(AParams: String): Boolean

Инициализация SWI-Prolog.

IsInitialised: Boolean

Проверка инициализации SWI-Prolog.

Call(APredicateName: String; AParams: TgsPLTermv): Boolean

Краткая форма для OpenQuery, NextSolution, Cut объекта TgsPLQuery, порождающая одно решение.

Call2(AGoal: String): Boolean

Выполнение терма (аналог предиката once/1).

Compound(AGoal: Unsigned short; AFunctor: String; ATermv: TgsPLTermv)

Компоновка терма из функтора (имени терма) и аргументов (вектора термов).

LoadScript(AScriptID: Integer): Boolean

Загрузка Пролог-скрипта по идентификатору.

LoadScriptByName(AScriptName: String): Boolean

Загрузка Пролог-скрипта по имени.

ExtractData(ADataSet: TClientDataSet; APredicateName: String; ATermv: TgsPLTermv)

Извлечение данных Пролог-запроса в клиентский набор данных.

MakePredicatesOfSQLSelect(ASQL: String; ATr: TIBTransaction; APredicateName: String; AFileName: String; AnAppend: Boolean): Integer

Формирование Пролог-фактов на основе SQL-запроса.

MakePredicatesOfDataSet(ADataSet: TDataSet; AFieldList: String; APredicateName: String; AFileName: String; AnAppend: Boolean): Integer

Формирование Пролог-фактов на основе клиентского набора данных.

SavePredicatesToFile(APredicateName: String; ATermv: TgsPLTermv; AFileName: String)

Выгрузка данных Пролог-запроса в файл.

Свойства

Debug: Boolean

Режим отладки.

TgsPLQuery

Класс запроса SWI-Prolog.

Иерархия

TObject

Методы

Close

Закрытие Пролог-запроса.

Cut

Отсечение следующих решений Пролог-запроса (выполнения предиката).

NextSolution

Поиск следующего решения Пролог-запроса (выполнения предиката).

OpenQuery

Открытие Пролог-запроса и поиск первого решения (выполнение предиката).

Свойства

Eof: Boolean

Признак поиска решения Пролог-запроса (выполнения предиката).

PredicateName: String

Имя предиката (функтор).

Termv: TgsPLTermv

Аргументы предиката (вектор термов).

TgsPLTermv

Класс вектора термов SWI‑Prolog.

Иерархия

TObject

Методы

PutAtom(Idx: Unsigned short; AValue: String)

Передача по ссылке в терм данных типа Atom.

PutDate(Idx: Unsigned short; AValue: Date)

Передача по ссылке в терм данных типа Date.

PutDateTime(Idx: Unsigned short; AValue: Date)

Передача по ссылке в терм данных типа DateTime.

PutFloat(Idx: Unsigned short; AValue: Real)

Передача по ссылке в терм данных типа Float.

PutInt64(Idx: Unsigned short; AValue: Int64)

Передача по ссылке в терм данных типа Int64.

PutInteger(Idx: Unsigned short; AValue: Integer)

Передача по ссылке в терм данных типа Integer.

PutString(Idx: Unsigned short; AValue: String)

Передача по ссылке в терм данных типа String.

PutVariable(Idx: Unsigned short)

Передача по ссылке в терм данных типа Variable (сброс ссылки в изначальное состояние).

ReadAtom(Idx: Unsigned short): String

Считывание по ссылке из терма данных типа Atom.

ReadDate(Idx: Unsigned short): Date

Считывание по ссылке из терма данных типа Date.

ReadDateTime(Idx: Unsigned short): Date

Считывание по ссылке из терма данных типа DateTime.

ReadFloat(Idx: Unsigned short): Real

Считывание по ссылке из терма данных типа Float.

ReadInt64(Idx: Unsigned short): Int64

Считывание по ссылке из терма данных типа Int64.

ReadInteger(Idx: Unsigned short): Integer

Считывание по ссылке из терма данных типа Integer.

ReadString(Idx: Unsigned short): String

Считывание по ссылке из терма данных типа String.

Reset

Сброс вектора термов (выполнение метода PutVariable для всего вектора термов).

ToString(Idx: Unsigned short): String

Считывание по ссылке терма и преобразование к строке.

ToTrimQuotesString(Idx: Unsigned short): String

Считывание по ссылке терма и преобразование к строке без обрамляющих кавычек.

Свойства

DataType(Idx: Unsigned short): Integer

Тип данных.

Size: Unsigned short

Размер вектора термов.

Term(Idx: Unsigned short): Unsigned short

Ссылка на терм.

Пролог-скрипты

Примеры использования PL-объектов

Учебный пример. Игра крестики-нолики

Средства разработки

SWI-Prolog Editor

SWI-Prolog graphical tracer

SWI-Prolog profiler

Литература по языку Пролог

• У.Клоксин, К.Меллиш. Программирование на языке Пролог
• И.Братко. Программирование на языке Пролог для искусственного интеллекта
• И.Братко. Алгоритмы искусственного интеллекта на языке PROLOG