removed set prolog flag unknown