Разработчик под ником Mateu представил открытый проект под названием kb-prolog. Это гиперреляционная база знаний Prolog с локальным доступом и хранилищем, адресуемым по содержимому (CAS). Проект создан как прототип для магистерской диссертации.
Исходный код kb-prolog написан на С и Prolog и опубликован на GitHub под лицензией GNU General Public License v3.0.
Основные возможности проекта:
-
гиперреляционный граф: Знания хранятся в виде утверждений (Субъект, Предикат, Объект, Свойства). Субъекты и объекты сами могут быть утверждениями (реификация), что позволяет делать утверждения об утверждениях;
-
адресуемое по содержимому хранилище: Файлы подготавливаются, хешируются с помощью SHA-256 и атомарно фиксируются вместе с метаданными графа. Дедупликация происходит автоматически;
-
Time-travel: Обновления создают новые версии утверждений, связанные через replaces_id. История pl проходит по цепочке версий;
-
сначала Prolog: Trealla Prolog — основная среда выполнения. Доступ к SQLite и Raylib осуществляется через разделяемые библиотеки C, загружаемые через FFI;
-
интерактивный графический интерфейс: Программа просмотра графов на основе Raylib с предварительным просмотром изображений, строкой запросов и поиском узлов.
Источник: habr.com