Prolog is not an oracle!

• Resolution gives strict rules

  • First applicable rule
  • Prove subgoals in order

Previous slide

Next slide

Back to first slide

View graphic version