Skip to main content
  • Book
  • © 1996

Prolog: The Standard

Reference Manual

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-61411-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 119.99
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (11 chapters)

  1. Front Matter

    Pages I-XV
  2. Introduction

    • Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 1-4
  3. Prolog Data Structures

    • Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 5-10
  4. Prolog Unification

    • Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 11-17
  5. Prolog Execution Model

    • Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 19-32
  6. The Built-in Predicates

    • Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 33-194
  7. Prolog Arithmetic

    • Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 195-204
  8. Prolog Environment: Sources and Sinks

    • Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 205-213
  9. Prolog Flags and Directives

    • Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 215-219
  10. Prolog Syntax

    • Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 221-238
  11. Writing Portable Programs

    • Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 239-244
  12. Annexes

    • Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 245-260
  13. Back Matter

    Pages 261-272

About this book

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.

Keywords

  • Formale Spezifikation
  • Logische Programmierung
  • Natural
  • Programming language A
  • Prolog
  • Sprachbeschreibung
  • Standard
  • algorithms
  • communication
  • data structure
  • knowledge base
  • logic
  • logic programming
  • programming
  • programming language

Authors and Affiliations

  • INRIA Rocquencourt, Le Chesnay Cedex, France

    Pierre Deransart

  • Centre Universitaire de Bourges, UFR Sciences, Université d’Orléans, Bourges Cedex, France

    AbdelAli Ed-Dbali

  • EDS International, Paris la Défense, France

    Laurent Cervoni

Bibliographic Information

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-61411-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 119.99
Price excludes VAT (USA)