This supplement gives you some practice with comparisons. It then moves on to a more advanced section (which you may want to skip if you start having difficulties) which talks rather more about how Prolog is executed and how it differs from logic.
