The Structure of the Language

Abstract

In the first chapter we introduced the ideas of stating assertions, formulating rules and interrogating a program containing both assertions and rules. That chapter will have given you the opportunity to tryout those basic language facilities and to gain something of a feel for the language. Our objective in this chapter will be to support that practical experience of Prolog with some of the theory and terminology associated with it. One good reason for doing this is that we shall be able to introduce more complex language facilities with the aid of a common vocabulary.