An informal introduction to basic syntax can be found in chapter 2, pages 3-12. A more formal account of Prolog syntax can be found in chapter 9, pages 69-76. Prolog search strategy can be found described in chapter 3, pages 14-20. Pattern matching (unification) is explained and illustrated in chapter 4, pages 22-27. Prolog style and layout are outlined in chapter 10, pages 92-94.