Logical knowledge base prototype implemented in Prolog. Includes deductive querying and verification of constraints expressed in natural language.
There are no reported vulnerabilities
30 Day SummaryDec 29 2025 — Jan 28 2026
|
12 Month SummaryJan 28 2025 — Jan 28 2026
|