The new prolog interpreter