adding setPrologEngine method in the ProviderManager