SWI-Prolog

Материал из GedeminWiki
(Различия между версиями)
Перейти к: навигация, поиск
Строка 4: Строка 4:
 
==== Системные файлы DLL ====
 
==== Системные файлы DLL ====
 
{| class="wikitable"
 
{| class="wikitable"
−
|+
+
|-
 
! Имя !! Описание !! Примечание
 
! Имя !! Описание !! Примечание
 
|-
 
|-
Строка 15: Строка 15:
 
==== Файлы DLL для расширения системы (плагины) ====
 
==== Файлы DLL для расширения системы (плагины) ====
 
{| class="wikitable"
 
{| class="wikitable"
−
|+
+
|-
 
! Имя !! Описание !! Примечание
 
! Имя !! Описание !! Примечание
 
|-
 
|-
Строка 31: Строка 31:
 
==== Для разработчиков ====
 
==== Для разработчиков ====
 
{| class="wikitable"
 
{| class="wikitable"
−
|+
+
|-
 
! Ссылка на ресурс !! Описание
 
! Ссылка на ресурс !! Описание
 
|-
 
|-
Строка 54: Строка 54:
 
::<code>'''Call2'''(AGoal: String): Boolean</code><br/>
 
::<code>'''Call2'''(AGoal: String): Boolean</code><br/>
 
:::''Выполнение терма (аналог предиката once/1).''
 
:::''Выполнение терма (аналог предиката once/1).''
−
::<code>'''Compound(AGoal: Unsigned short; AFunctor: String; ATermv: TgsPLTermv)'''</code><br/>
+
::<code>'''Compound'''(AGoal: Unsigned short; AFunctor: String; ATermv: TgsPLTermv)</code><br/>
 
:::''Компоновка терма из функтора (имени терма) и аргументов (вектора термов).''
 
:::''Компоновка терма из функтора (имени терма) и аргументов (вектора термов).''
 
::<code>'''LoadScript'''(AScriptID: Integer): Boolean</code><br/>
 
::<code>'''LoadScript'''(AScriptID: Integer): Boolean</code><br/>
Строка 73: Строка 73:
  
 
==== TgsPLQuery ====
 
==== TgsPLQuery ====
 +
'''Класс запроса SWI-Prolog.'''
 +
:<u>Иерархия</u>
 +
::<code>'''TObject'''</code>
 +
:<u>Методы</u>
 +
::<code>'''Close'''</code><br/>
 +
:::''Закрытие Пролог-запроса.''
 +
::<code>'''Cut'''</code><br/>
 +
:::''Отсечение следующих решений Пролог-запроса (выполнения предиката).''
 +
::<code>'''NextSolution'''</code><br/>
 +
:::''Поиск следующего решения Пролог-запроса (выполнения предиката).''
 +
::<code>'''OpenQuery'''</code><br/>
 +
:::''Открытие Пролог-запроса и поиск первого решения (выполнение предиката).''
 +
:<u>Свойства</u>
 +
::<code>'''Eof''': Boolean</code><br/>
 +
:::''Признак поиска решения Пролог-запроса (выполнения предиката).''
 +
::<code>'''PredicateName''': String</code><br/>
 +
:::''Имя предиката (функтор).''
 +
::<code>'''Termv''': TgsPLTermv</code><br/>
 +
:::''Аргументы предиката (вектор термов).''
  
 
==== TgsPLTermv ====
 
==== TgsPLTermv ====
−
 
+
'''Класс вектора термов SWI‑Prolog.'''
 +
:<u>Иерархия</u>
 +
::<code>'''TObject'''</code>
 +
:<u>Методы</u>
 +
::<code>'''PutAtom'''(Idx: Unsigned short; AValue: String)</code><br/>
 +
:::''Передача по ссылке в терм данных типа Atom.''
 +
::<code>'''PutDate'''(Idx: Unsigned short; AValue: Date)</code><br/>
 +
:::''Передача по ссылке в терм данных типа Date.''
 +
::<code>'''PutDateTime'''(Idx: Unsigned short; AValue: Date)</code><br/>
 +
:::''Передача по ссылке в терм данных типа DateTime.''
 +
::<code>'''PutFloat'''(Idx: Unsigned short; AValue: Real)</code><br/>
 +
:::''Передача по ссылке в терм данных типа Float.''
 +
::<code>'''PutInt64'''(Idx: Unsigned short; AValue: Int64)</code><br/>
 +
:::''Передача по ссылке в терм данных типа Int64.''
 +
::<code>'''PutInteger'''(Idx: Unsigned short; AValue: Integer)</code><br/>
 +
:::''Передача по ссылке в терм данных типа Integer.''
 +
::<code>'''PutString'''(Idx: Unsigned short; AValue: String)</code><br/>
 +
:::''Передача по ссылке в терм данных типа String.''
 +
::<code>'''PutVariable'''(Idx: Unsigned short)</code><br/>
 +
:::''Передача по ссылке в терм данных типа Variable (сброс ссылки в изначальное состояние).''
 +
::<code>'''ReadAtom'''(Idx: Unsigned short): String</code><br/>
 +
:::''Считывание по ссылке из терма данных типа Atom.''
 +
::<code>'''ReadDate'''(Idx: Unsigned short): Date</code><br/>
 +
:::''Считывание по ссылке из терма данных типа Date.''
 +
::<code>'''ReadDateTime'''(Idx: Unsigned short): Date</code><br/>
 +
:::''Считывание по ссылке из терма данных типа DateTime.''
 +
::<code>'''ReadFloat'''(Idx: Unsigned short): Real</code><br/>
 +
:::''Считывание по ссылке из терма данных типа Float.''
 +
::<code>'''ReadInt64'''(Idx: Unsigned short): Int64</code><br/>
 +
:::''Считывание по ссылке из терма данных типа Int64.''
 +
::<code>'''ReadInteger'''(Idx: Unsigned short): Integer</code><br/>
 +
:::''Считывание по ссылке из терма данных типа Integer.''
 +
::<code>'''ReadString'''(Idx: Unsigned short): String</code><br/>
 +
:::''Считывание по ссылке из терма данных типа String.''
 +
::<code>'''Reset'''</code><br/>
 +
:::''Сброс вектора термов (выполнение метода PutVariable для всего вектора термов).''
 +
::<code>'''ToString'''(Idx: Unsigned short): String</code><br/>
 +
:::''Считывание по ссылке терма и преобразование к строке.''
 +
::<code>'''ToTrimQuotesString'''(Idx: Unsigned short): String</code><br/>
 +
:::''Считывание по ссылке терма и преобразование к строке без обрамляющих кавычек.''
 +
:<u>Свойства</u>
 +
::<code>'''DataType'''(Idx: Unsigned short): Integer</code><br/>
 +
:::''Тип данных.''
 +
::<code>'''Size''': Unsigned short</code><br/>
 +
:::''Размер вектора термов.''
 +
::<code>'''Term'''(Idx: Unsigned short): Unsigned short</code><br/>
 +
:::''Ссылка на терм..''
 +
=== Пролог-скрипты ===
 +
{| class="wikitable"
 +
|-
 +
|-
 +
| https://upload.wikimedia.org/wikipedia/commons/e/e3/%D0%9F%D1%80%D0%BE%D0%BB%D0%BE%D0%B3-%D1%81%D0%BA%D1%80%D0%B8%D0%BF%D1%82%D1%8B.png
 +
|}
 +
=== Примеры использования PL-объектов ===
 +
{| class="wikitable"
 +
|-
 +
|-
 +
| https://upload.wikimedia.org/wikipedia/commons/4/43/%D0%9F%D1%80%D0%B8%D0%BC%D0%B5%D1%80%D1%8B_%D0%B8%D1%81%D0%BF%D0%BE%D0%BB%D1%8C%D0%B7%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_PL-%D0%BE%D0%B1%D1%8A%D0%B5%D0%BA%D1%82%D0%BE%D0%B2.png
 +
|}
  
 
[[Category:Школа системного администратора]]
 
[[Category:Школа системного администратора]]
 
[[Category:Руководство разработчика]]
 
[[Category:Руководство разработчика]]

Версия 16:03, 1 июля 2015

Содержание

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

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

Расположение файлов см. Список файлов дистрибутива платформы Гедымин
Для новой версии выполняемого модуля платформы Гедымин, папка для размещения временных отладочных файлов SWI-Prolog находится по пути C:\Users\%username%\AppData\Local\Gedemin\swipl\temp

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

Имя Описание Примечание
libswipl.dll библиотека ядра The Prolog kernel
pthreadGC2.dll библиотека потоков выполнения POSIX thread runtime library (32-bits)
libgmp-10.dll библиотека арифметики повышенной точности The GNU Multiple Precision Arithmetic Library

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

Имя Описание Примечание
memfile.dll библиотека временных файлов в памяти Memory files
readutil.dll библиотека утилиты быстрого чтения Reading lines, streams and files

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

Имя Описание Примечание
gd_pl_state.dat файл сохраненного состояния Generating Runtime Applications

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

Ссылка на ресурс Описание
gd_pl.pl генерация файла сохраненного состояния
gd_pl_state папка с файлами, не входящими в стандартную поставку SWI-Prolog

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
Ссылка на терм..

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

%D0%9F%D1%80%D0%BE%D0%BB%D0%BE%D0%B3-%D1%81%D0%BA%D1%80%D0%B8%D0%BF%D1%82%D1%8B.png

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

%D0%9F%D1%80%D0%B8%D0%BC%D0%B5%D1%80%D1%8B_%D0%B8%D1%81%D0%BF%D0%BE%D0%BB%D1%8C%D0%B7%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F_PL-%D0%BE%D0%B1%D1%8A%D0%B5%D0%BA%D1%82%D0%BE%D0%B2.png
Источник — «https://gsbelarus.com:80/gs/wiki/index.php?title=SWI-Prolog&oldid=6464»
Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты