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 SummaryMay 28 2026 — Jun 27 2026
|
12 Month SummaryJun 27 2025 — Jun 27 2026
|