Problem Solving With Prolog

Prolog is a programming language in which solutions to computing problems are expressed as facts representing relationships between objects and as rules specifying consequences which derive from facts. In Prolog, the mechanisms for representing knowledge about objects and relationships are both high-level and general-purpose. This brings two substantial benefits to the programmer. The first is that, to a very large extent, he or she is freed from concern about the organisation of physical storage for the data which a program is to manipulate. The second is the ease with which concepts and relationships from many areas of human activity can be expressed in the language. You will be able to use Prolog to tackle problems from outside the familiar scope of traditional computing, and you will be able to describe them in a concise and powerful notation. Many of these problems are in the exciting and growing area of Artificial Intelligence, where the ground rules for tasks are often uncertain or scarcely articulated, the tasks themselves so open-ended as to have no identifiable conclusion. Such tasks as general problem-solving, understanding natural language and acquiring and using expertise have been the province of human intellectual endeavour. Programming a computer to carry out these tasks is a challenge indeed.