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