https://ileabonmachine.com/ en https://ileabonmachine.com/kb-prolog-vysel-v-otkrytyi-dostup-prolog-pereosmysliaet-bazy-znanii <span>kb-prolog вышел в открытый доступ. Prolog переосмысляет базы знаний!</span> <div> <img loading="eager" src="https://ileabonmachine.com/sites/ileabonmachine.com/files/content/images/2026-07/bc571c8f20ab577d9b3e516555e6f3f152444005.webp" width="1280" height="720" alt="Kb-prolog вышел в открытый доступ. Prolog переосмысляет базы знаний!"> </div> <span><span>admin</span></span> <span><time datetime="2026-07-02T13:15:01+03:00" title="четверг, июля 2, 2026 - 13:15">чт, 07/02/2026 - 13:15</time> </span> <div><div><title>kb-prolog вышел в открытый доступ. Prolog переосмысляет базы знаний!</title><p>Разработчик под ником Mateu опубликовал на GitHub проект kb-prolog - гиперреляционную базу знаний с адресуемым по содержимому хранилищем и встроенным графическим интерфейсом. Прототип писался для магистерской диссертации, но вырос в нечто куда более интересное.</p><h2>Что такое kb-prolog и зачем он нужен</h2><p>В основе проекта - идея хранить знания не в плоских таблицах и не в классических тройках «субъект - предикат - объект», а в гиперреляционном графе. Каждое утверждение здесь имеет вид (Субъект, Предикат, Объект, Свойства), и любой из его элементов сам может быть утверждением. Это называется реификацией. Проще говоря, система умеет делать утверждения об утверждениях - подход, который давно обсуждается в сообществе семантического веба, но редко реализуется так компактно.</p><p>Код написан на C и Prolog. Среда выполнения - Trealla Prolog, доступ к SQLite и графической библиотеке Raylib организован через FFI с загружаемыми разделяемыми библиотеками. Лицензия - GNU GPL v3.0, исходники открыты полностью.</p><h2>Техническая начинка: хеши, версии и граф</h2><p>Хранилище работает по принципу content-addressed storage: файлы хешируются через SHA-256 и атомарно фиксируются вместе с метаданными графа. Дедупликация происходит автоматически - одинаковые данные не дублируются. Это роднит kb-prolog с подходами, знакомыми по системам вроде Git или IPFS, только здесь всё заточено под логические базы знаний.</p><p>Версионирование реализовано через механизм time-travel: каждое обновление порождает новую версию утверждения, связанную с предыдущей через поле replaces_id. История разворачивается как цепочка - можно пройтись по ней назад и восстановить любое состояние базы.</p><h2>Ключевые возможности проекта</h2><ul><li>Гиперреляционный граф с поддержкой реификации - утверждения могут ссылаться на другие утверждения</li><li>Content-addressed storage с SHA-256 и автоматической дедупликацией</li><li>Time-travel: полная история изменений через цепочку версий</li><li>Trealla Prolog как основная среда выполнения, доступ к SQLite и Raylib через C FFI</li><li>Интерактивный граф-вьюер с предпросмотром изображений, строкой запросов и поиском по узлам</li></ul><h2>Почему это важно за пределами диссертации</h2><p>Prolog как язык работы со знаниями переживает что-то вроде тихого ренессанса. На фоне бума больших языковых моделей всё больше исследователей возвращается к символическим подходам - туда, где рассуждения прозрачны и проверяемы. kb-prolog вписывается в этот тренд органично. Граф-хранилище с версионированием и логическим движком под капотом - это не просто учебный прототип, а вполне рабочая архитектурная идея.</p><p>Проект пока в статусе прототипа, и Mateu, судя по описанию, не претендует на законченный продукт. Но открытый код и внятная концепция делают его интересным отправным пунктом для тех, кто занимается семантическими системами, knowledge graphs или просто хочет посмотреть, как Prolog справляется с нетривиальной инженерной задачей.</p></div></div> <div> <div>Post ID</div> <div>new-ileabonmachine.com-42506</div> </div> <div> <div>Tags</div> <div> <div><a href="https://ileabonmachine.com/kb-prolog" hreflang="en">kb-prolog</a></div> <div><a href="https://ileabonmachine.com/prolog" hreflang="en">Prolog</a></div> <div><a href="https://ileabonmachine.com/giperrelyacionnyy-graf" hreflang="en">гиперреляционный граф</a></div> <div><a href="https://ileabonmachine.com/reifikaciya" hreflang="en">реификация</a></div> <div><a href="https://ileabonmachine.com/trealla-prolog" hreflang="en">Trealla Prolog</a></div> </div> </div> Thu, 02 Jul 2026 10:15:01 +0000 admin 49450 at https://ileabonmachine.com