Prolog: The Standard

Reference Manual

Authors: Deransart, Pierre, Ed-Dbali, AbdelAli, Cervoni, Laurent

Free Preview

Buy this book

eBook £63.99
price for United Kingdom (gross)
  • ISBN 978-3-642-61411-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover £79.99
price for United Kingdom (gross)
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.

Table of contents (11 chapters)

Table of contents (11 chapters)

Buy this book

eBook £63.99
price for United Kingdom (gross)
  • ISBN 978-3-642-61411-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover £79.99
price for United Kingdom (gross)
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Prolog: The Standard
Book Subtitle
Reference Manual
Authors
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-61411-8
DOI
10.1007/978-3-642-61411-8
Softcover ISBN
978-3-540-59304-1
Edition Number
1
Number of Pages
XVI, 272
Topics