Skip to main content
SpringerLink
Log in

Prolog: The Standard

Reference Manual

  • Book
  • © 1996

Overview

Authors:
  1. Pierre Deransart

    1. INRIA Rocquencourt, Le Chesnay Cedex, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. AbdelAli Ed-Dbali

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

    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Laurent Cervoni

    1. EDS International, Paris la Défense, France

    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 89.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages I-XV
    Download chapter PDF

  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
    Download chapter PDF
Back to top

Keywords

About this book

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation