Prolog: The Standard: Reference Manual

✍ Scribed by Dr. Pierre Deransart, Dr. AbdelAli Ed-Dbali, Dr. Laurent Cervoni (auth.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1996
• Tongue: English
• Leaves: 282
• Edition: 1
• Category: Library

✦ Synopsis

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

✦ Table of Contents

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

✦ Subjects

Programming Techniques; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics)