Alex Ivliev
Alex Ivliev
Since the dictionary can consume quite a lot of memory it would be nice if it was visible in the output introduced by #338. This would involve implementing the `ByteSized`...
For now, rules with nullary predicates are not handled correctly (or at all, it'll probably just crash). This would be rule sets like ``` trigger() :- a(x, x) . result(x,...
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...
After the refactoring, no unit tests are left on the logical layer. Although the reasoner seems to work in out benchmarks, testing all of the individual functions as well as...
The current parser should be reworked to parse into a dedicated AST representation of the program, which then gets translated into a logical model. The latter should keep track of...
While the parser now allows more general structure which allow more specific error messages, it may still fail to parse certain input. Here it would be good if the error...
The parser rework allows to show pretty and very descriptive error messages to the user. It would be helpful if there were a system similar to the integration tests that...