testPrologFactory