Advertisement

Prolog: The Standard

Reference Manual

  • Pierre Deransart
  • AbdelAli Ed-Dbali
  • Laurent Cervoni

Table of contents

  1. Front Matter
    Pages I-XV
  2. Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 1-4
  3. Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 5-10
  4. Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 11-17
  5. Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 19-32
  6. Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 33-194
  7. Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 195-204
  8. Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 205-213
  9. Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 215-219
  10. Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 221-238
  11. Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 239-244
  12. Pierre Deransart, AbdelAli Ed-Dbali, Laurent Cervoni
    Pages 245-260
  13. Back Matter
    Pages 261-272

About this book

Introduction

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

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

  • Pierre Deransart
    • 1
  • AbdelAli Ed-Dbali
    • 2
  • Laurent Cervoni
    • 3
  1. 1.INRIA RocquencourtLe Chesnay CedexFrance
  2. 2.Centre Universitaire de Bourges, UFR SciencesUniversité d’OrléansBourges CedexFrance
  3. 3.EDS InternationalParis la DéfenseFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-61411-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59304-1
  • Online ISBN 978-3-642-61411-8
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering