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 SummaryJul 9 2026 — Aug 8 2026
|
12 Month SummaryAug 8 2025 — Aug 8 2026
|