Creating Prolog interpreter with destructive unify was wrong idea for now.