Original ANSWER not informative enough
Green’s Answer literal (1969)
negate query:
~ ((P1 x1…xi,ak…al) … (Pm xj…xn,ao…ap))
disjoin with answer literal:
ANSWER(x1…xn)
answer literals are not resolvable
clauses contain ANSWER iff they descend from the query
Previous slide
Next slide
Back to first slide
View graphic version