Classifying answer clauses - 2
All non-ANSWER literals share variables with the ANSWER literals
((ANSWER (LIKES FLUFFY x)) (~ (DOG x)))
generic answers
Previous slide
Next slide
Back to first slide
View graphic version