SWI-Prolog

Материал из GedeminWiki
Перейти к: навигация, поиск

Содержание

Система логического программирования на встроенном 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‑объект.

TgsPLClient

TgsPLQuery

TgsPLTermv

Персональные инструменты
Пространства имён

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