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.