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 SummaryFeb 9 2026 — Mar 11 2026
|
12 Month SummaryMar 11 2025 — Mar 11 2026
|