- Add unit tests.
- Proper proof tree implementation.
- Working for queries and clauses with lists, clauses and variables.
- Working for recursive queries.
Known issues :
- Only single queries of form "concat(A, B)." are supported (no ',' when querying).
- When querying, getting more results after the first success is not supported.