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 SummaryJun 11 2025 — Jul 11 2025
|
12 Month SummaryJul 11 2024 — Jul 11 2025
|