Interface PrologRuleEvaluator.Factory