Prolog is a computer programming language that is used for solving problems that involve objects and the relationships between objects. In this chapter we shall show the essential elements of the language in real programs, but without becoming diverted by details, formal rules, and exceptions. At this point, we are not trying to be complete or precise. We want to bring you quickly to the point where you can write useful programs, so to do that we must concentrate on the basics: facts, questions, variables, conjunctions, and rules. Other features of Prolog, such as lists and recursion, will be treated in later chapters.
Unable to display preview. Download preview PDF.