SWI-Prolog
Материал из GedeminWiki
(Различия между версиями)
Latunov (обсуждение | вклад) |
Latunov (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | = Система логического программирования на встроенном [http://www.swi-prolog.org/ SWI‑Prolog] = | + | == Система логического программирования на встроенном [http://www.swi-prolog.org/ SWI‑Prolog] == |
| − | == Файлы и ресурсы == | + | === Файлы и ресурсы === |
Расположение файлов см. [[Список файлов дистрибутива платформы Гедымин]] | Расположение файлов см. [[Список файлов дистрибутива платформы Гедымин]] | ||
| − | === Системные файлы DLL === | + | ==== Системные файлы DLL ==== |
{| class="wikitable" | {| class="wikitable" | ||
|+ | |+ | ||
| Строка 13: | Строка 13: | ||
| libgmp-10.dll || библиотека арифметики повышенной точности || The GNU Multiple Precision Arithmetic Library | | libgmp-10.dll || библиотека арифметики повышенной точности || The GNU Multiple Precision Arithmetic Library | ||
|} | |} | ||
| − | === Файлы DLL для расширения системы (плагины) === | + | ==== Файлы DLL для расширения системы (плагины) ==== |
{| class="wikitable" | {| class="wikitable" | ||
|+ | |+ | ||
| Строка 22: | Строка 22: | ||
| readutil.dll || библиотека утилиты быстрого чтения || [http://www.swi-prolog.org/pldoc/man?section=readutil Reading lines, streams and files] | | readutil.dll || библиотека утилиты быстрого чтения || [http://www.swi-prolog.org/pldoc/man?section=readutil Reading lines, streams and files] | ||
|} | |} | ||
| − | === Ресурсные архивы === | + | ==== Ресурсные архивы ==== |
{| class="wikitable" | {| class="wikitable" | ||
|+ | |+ | ||
| Строка 29: | Строка 29: | ||
| gd_pl_state.dat || файл сохраненного состояния || [http://www.swi-prolog.org/pldoc/man?section=runtime Generating Runtime Applications] | | gd_pl_state.dat || файл сохраненного состояния || [http://www.swi-prolog.org/pldoc/man?section=runtime Generating Runtime Applications] | ||
|} | |} | ||
| − | === Для разработчиков === | + | ==== Для разработчиков ==== |
{| class="wikitable" | {| class="wikitable" | ||
|+ | |+ | ||
| Строка 38: | Строка 38: | ||
| [https://github.com/GoldenSoftwareLtd/gedemin-prolog/tree/master/gd_pl/gd_pl_state gd_pl_state] || папка с файлами, не входящими в стандартную поставку SWI-Prolog | | [https://github.com/GoldenSoftwareLtd/gedemin-prolog/tree/master/gd_pl/gd_pl_state gd_pl_state] || папка с файлами, не входящими в стандартную поставку SWI-Prolog | ||
|} | |} | ||
| − | == PL-классы == | + | === PL-классы === |
Под термином PL-класс понимается класс предназначенный на для взаимодействия со встроенным SWI‑Prolog. | Под термином PL-класс понимается класс предназначенный на для взаимодействия со встроенным SWI‑Prolog. | ||
<br/>Соответственно, экземпляр PL-класса будет называться PL‑объект. | <br/>Соответственно, экземпляр PL-класса будет называться PL‑объект. | ||
| − | === TgsPLClient === | + | ==== TgsPLClient ==== |
| − | === TgsPLQuery === | + | ==== TgsPLQuery ==== |
| − | === TgsPLTermv === | + | ==== TgsPLTermv ==== |
Версия 18:20, 30 июня 2015
Содержание |
Система логического программирования на встроенном SWI‑Prolog
Файлы и ресурсы
Расположение файлов см. Список файлов дистрибутива платформы Гедымин
Системные файлы 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‑объект.
