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