ADD: PrologConjunct and PrologDisjunct.