SWI-Prolog
Материал из GedeminWiki
(Различия между версиями)
Latunov (обсуждение | вклад) (Полностью удалено содержимое страницы) |
Latunov (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
| − | + | == Система логического программирования на встроенном [http://www.swi-prolog.org/ SWI-Prolog] == | |
| + | === Файлы и ресурсы === | ||
| + | Расположение файлов см. [[Список файлов дистрибутива платформы Гедымин]] | ||
| + | ==== Системные файлы DLL ==== | ||
| + | {| class="wikitable" | ||
| + | |+ | ||
| + | ! Имя !! Описание !! Примечание | ||
| + | |- | ||
| + | | libswipl.dll || библиотека ядра || The Prolog kernel | ||
| + | |- | ||
| + | | pthreadGC2.dll || библиотека потоков выполнения || POSIX thread runtime library (32-bits) | ||
| + | |- | ||
| + | | libgmp-10.dll || библиотека арифметики повышенной точности || The GNU Multiple Precision Arithmetic Library | ||
| + | |} | ||
| + | ==== Файлы DLL для расширения системы (плагины) ==== | ||
| + | {| class="wikitable" | ||
| + | |+ | ||
| + | ! Имя !! Описание !! Примечание | ||
| + | |- | ||
| + | | memfile.dll || библиотека временных файлов в памяти || [http://www.swi-prolog.org/pldoc/man?section=memory-files Memory files] | ||
| + | |- | ||
| + | | readutil.dll || библиотека утилиты быстрого чтения || [http://www.swi-prolog.org/pldoc/man?section=readutil Reading lines, streams and files] | ||
| + | |} | ||
| + | ==== Ресурсные архивы ==== | ||
| + | {| class="wikitable" | ||
| + | |+ | ||
| + | ! Имя !! Описание !! Примечание | ||
| + | |- | ||
| + | | gd_pl_state.dat || файл сохраненного состояния || [http://www.swi-prolog.org/pldoc/man?section=runtime Generating Runtime Applications] | ||
| + | |} | ||
| + | ==== Для разработчиков ==== | ||
| + | {| class="wikitable" | ||
| + | |+ | ||
| + | ! Ссылка на ресурс !! Описание | ||
| + | |- | ||
| + | | [https://github.com/GoldenSoftwareLtd/gedemin-prolog/blob/master/gd_pl/gd_pl.pl gd_pl.pl] || генерация файла сохраненного состояния | ||
| + | |- | ||
| + | | [https://github.com/GoldenSoftwareLtd/gedemin-prolog/tree/master/gd_pl/gd_pl_state gd_pl_state] || папка с файлами, не входящими в стандартную поставку SWI-Prolog | ||
| + | |} | ||
Версия 16:24, 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 |
