In this chapter we provide a more complete discussion of the parts of Prolog that were introduced in the previous chapter. Prolog provides tools for structuring data as well as structuring the order in which attempts are made to satisfy goals. Structuring data involves knowing the syntax by which we can denote data. Structuring the order in which goals are solved involves knowing about backtracking.
Unable to display preview. Download preview PDF.