Classifying answer clauses - 3
Some non-ANSWER literals do not share variables with the ANSWER literals
((~ (CALICO x)
(~ (LIKES x ROVER))
(~ (CALICO FLUFFY))
(ANSWER (LIKES FLUFFY ROVER)))
hypothetical answers
Previous slide
Next slide
Back to first slide
View graphic version