kb-prolog

这是一个基于Prolog的本地优先超关系型知识库系统，支持内容寻址存储（CAS）与语句级重化（reification）。核心功能包括：以statement(Subject,Predicate,Object,Properties)四元组建模超关系知识，支持语句作为主宾体的嵌套表达；通过SHA-256哈希实现文件与元数据的原子化CAS存取与自动去重；提供版本链（replaces_id）支持时间回溯查询；集成Trealla Prolog运行时，通过C FFI桥接SQLite（含FTS5全文检索）与Raylib图形界面。适用于个人知识管理、学术研究笔记、可验证知识图谱原型开发等需强逻辑表达、内容完整性与版本追溯能力的轻量级场景。