iterating on the definition of known compatible Prolog engines
iterating on the engine and driver classes