Implement Conjunctive Query Answering
Open
enhancement
logical
- Dominant language
- Rust
- Stars
- 289
- Forks
- 21
- PR merge metrics
- No merged PRs in 30d
Description
The Reasoner should support CQ answering. A conjunctive query should be represented as a list of atoms and a list of output variables. It should then return a `Trie` containing the answers. The queried input is the result of the chase.
Contributor guide
Assessment
This issue has not been assessed yet.