Prolog : the standard : reference manual/ P. Deransart, A. Ed-Dbali, L. Cervoni ; foreword by C. Biro, preface by R.S. Scowen

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. A software package containing the executable specification of Standard Prolog and program examples can be downloaded via World Wide Web from http://www.springer.de (following the link to samples and supplements). e 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. In addition computer programming has long been for solid theoretical foundations. While conventional engineering, dealing mainly with "analogical complexity", developed over some hundred years a complete body of mathematical tools, no such toolset was available for "digital complexity". The only mathematical discipline which deals with digital complexity is logic and Prolog is certainly the operational tool which comes closest to the logical programming ideal. So, why does Prolog, despite nearly twenty years of development, still appear to many today to be more of a research or academic tool, rather than an industrial programming language? A few reasons may explain this: First, I think Prolog suffers from having been largely assimilated into - and thus followed the fate of - Artificial Intelligence. Much hype in the late 1980 created overexpectations and failed to deliver, and the counterreaction threw both AI and Prolog into relative obscurity. In a way, maybe this is a new chance for the Prolog community: the ability to carry out real work and progress without the disturbance of limelights and the unrealistic claims of various gurus. Second, programming in Prolog is a new experience for computer professionals.

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.

Front Matter....Pages I-XV Introduction....Pages 1-4 Prolog Data Structures....Pages 5-10 Prolog Unification....Pages 11-17 Prolog Execution Model....Pages 19-32 The Built-in Predicates....Pages 33-194 Prolog Arithmetic....Pages 195-204 Prolog Environment: Sources and Sinks....Pages 205-213 Prolog Flags and Directives....Pages 215-219 Prolog Syntax....Pages 221-238 Writing Portable Programs....Pages 239-244 Annexes....Pages 245-260 Back Matter....Pages 261-272 "Prolog, the Standard", is the first reference manual on the ISO international standard [2] on the programming language Prolog called in this book Standard Prolog.