SWI-Prolog
Материал из GedeminWiki
(Различия между версиями)
Latunov (обсуждение | вклад) |
Latunov (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | + | = Система логического программирования на встроенном [http://www.swi-prolog.org/ SWI-Prolog] = | |
| − | + | == Файлы и ресурсы == | |
Расположение файлов см. [[Список файлов дистрибутива платформы Гедымин]] | Расположение файлов см. [[Список файлов дистрибутива платформы Гедымин]] | ||
| − | + | === Системные файлы 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 для расширения системы (плагины) === | |
{| 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-класс понимается класс предназначенный на для взаимодействия со встроенным SWI‑Prolog. | ||
| + | <br/>Соответственно, экземпляр PL-класса будет называться PL‑объект. | ||
| + | === TgsPLClient === | ||
| + | |||
| + | === TgsPLQuery === | ||
| + | |||
| + | === TgsPLTermv === | ||
Версия 18:16, 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‑объект.
