S im p l y Logical - University of Bristol

However, since this distinction is important, in a separate section I do address the relation between clausal logic and Predicate Logic. In Chapter 3, the practical aspects of Prolog programming are discussed. The notion of an SLD-tree forms an important concept in this chapter, most notably in the treatment of cut. ................
................