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 SummarySep 18 2026 — Oct 18 2026
|
12 Month SummaryOct 18 2025 — Oct 18 2026
|