mostly changes in the factory and provider classes. Added a ProxyPrologEngine class