kb-prolog

A hyper-relational knowledge base with content-addressable storage, built on Prolog, SQLite, and C.