RECALL - Relational calculus interpreter