Release 3.0.0

Changes :

  • 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.