A more informative ANSWER
Shapiro’s Answer literal (1995)
new rule:
all (x1…xn)
[((P1 x1…xi,ak…al) … (Pm xj…xn,ao…ap)) =>
ANSWER((P1 x1…xi,ak…al) … (Pmxj…xn,ao…ap))]
direct resolution
Previous slide
Next slide
Back to first slide
View graphic version