corrected a bug in UniquePrologEngineDriver