EDIT: PrologFunctor body is now PrologConjunct or PrologDisjunct.