Prolog: The Standard

From the viewpoint of an "industrial" this book is most welcome, as one of the most significant demonstrations of the maturity of Prolog. Logic programming is a fascinating area in computer science, which held for years - and still does - the promise of freeing ourselves from programming based on the "Von Neumann" machine. This is the first reference manual on the ISO international standard of the programming language Prolog. Prolog was the first logic programming language and is used in many areas in industry, such as computer aided design and manufacturing, software engineering, multimedia and documentation, AI systems and databases (expert systems, knowledge bases, man-machine interfaces, natural language analysis), and application fields like transportation, telecommunications, and banking. Moreover, it is the kernel language of many emerging logic programming languages which support constraints, functions and concurrency. The book gives a comprehensible full description of the standardized language together with an executable specification. It enables system developers, application programmers and Prolog users to work with any standard conforming processor. This is the first reference manual on the ISO international standard of the programming language Prolog. Prolog was the first logic programming language and is used in many areas in industry, such as computer aided design and manufacturing, software engineering, multimedia and documentation, AI systems and databases (expert systems, knowledge bases, man-machine interfaces, natural language analysis), and application fields like transportation, telecommunications, and banking. The book contains a comprehensible full description of the standardized language together with an executable specification. It enables system developers, application programmers and Prolog users to work with any standard conforming processor.