Reminder: How Prolog tries to prove

• Rule order

  • Select the first applicable rulefrom top to bottom

• Goal order

  • Prove subgoals from left to right

Previous slide

Next slide

Back to first slide

View graphic version