ABSTRACT
This chapter is somewhat more practical in its concerns, introducing, as it does, a number of issues relating to program development. To write a computer program requires understanding the meaning of the statements of the programming language being used. For languages such as Pascal or Basic computer language solve a particular problem. Such languages are referred to as procedural. Prolog, however, is an example of a non-procedural or declarative language. The declarative meaning of these two clauses is that something is a member of a list if either it is the head of the list or a member of the tail. This interpretation is provided by reference to the Prolog interpreter which uses the program in order to solve particular problems. Little has been said about the layout of a program file. As programs become more complex, it is important that certain typographical conventions be observed. The process by which the tree is searched is called a search strategy.
