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