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 SummaryOct 3 2024 — Nov 2 2024
|
12 Month SummaryNov 2 2023 — Nov 2 2024
|