Update prolog interpreter