The FactBase Python SDK
factbase binary for Windows x64
factbase binary for Linux x64
factbase binary for macOS Intel
factbase binary for macOS Apple Silicon
Filesystem-based knowledge management with semantic search for AI agents
Derive macro for the clingo crate
Rust idiomatic bindings to the clingo library
A primitive in-memory collection of key-value records known as "facts," with an ability to insert facts, add properties to facts, and delete facts. There is no ability to modify facts. It is also possible to find facts using Lisp-alike query predicates. An entire factbase may be exported to a binary file and imported back.
A command-line tool that runs a collection of \"judges\" against a \"factbase,\" modifying it and updating. Also, helps printing a factbase, merge with another one, inspect, and so on. Also, helps run automated tests for a set of judges.
A collection of extensions for a factbase, helping the judges of Zerocracy manipulate the facts and create new ones