Details about practical Prolog programming and programming tools within the SICStus Prolog programming environment can be found in the two ``interludes'' found in pages 33-41, and pages 77-80, and in appendix B, pages 99-100. Metalevel programming can be found illustrated in chapter 10, pages 81-88.