Tags give the ability to mark specific points in history as being important
v3.2.0 Release 3.2.0Release v3.2.0
v3.1.0 Release 3.1.0Release v3.1.0
v3.0.0 Release 3.0.0Release v3.0.0
- Add unit tests.
- Proper proof tree implementation.
- Working for queries and clauses with lists, clauses and variables.
- Working for recursive queries.
- 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.
v2.0.0 Release 2.0.0Release v2.0.0
v1.0.0 Release 1.0.0Release v1.0.0