TODO.org

Tasks

Implement variables’ scope.

We can just add some unique prefix for every variable’s name in a predicate’s head and body. I think a hashcode of the predicate would be a nice prefix.

UPD This solution sucks, ‘cause it doesn’t allow us to make recursive predicates. I think we should generate a unique varprefix each time we “invoke” (evaluate?) a predicate.

Implement REPL

Answer contains only vars which were in the query.

Whole answer. Without intermediate vars. Occur check.

Use JLine.

Probably refactoring is required.

Implement built-in predicates.

Create documentation.