getClauseProviders() also moved from PrologImplementor to TheoryManager.