Prolog: The Standard Reference Manual
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 engin
- PDF / 15,420,911 Bytes
- 283 Pages / 439 x 666 pts Page_size
- 12 Downloads / 235 Views
Prolog: The Standard
P. Deransart A. Ed-Dbali 1. Cervoni
Prolog: The Standard Reference Manual
Foreword by C. Biro Preface by R.S. Scowen
Springer
Dr. Pierre Deransart INRIA Rocquencourt BP 105 F-78153 Le Chesnay Cedex
Dr. Laurent Cervoni EDS International 60 Avenue du President Wilson Immeuble Ie Guillaumet F-92046 Paris la Defense
Dr. AbdelAli Ed-Dbali Universite d'Orleans Centre Universitaire de Bourges, UFR Sciences BP 4043, Rue Gaston Berger F-18028 Bourges Cedex Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme
Deransart, Pierre: Prolog: the standard; reference manual/Pierre Deransart ; AbdelAIi Ed-Dbali ; Laurent Cervoni. Foreword by Ch. Biro. Pref. bv R. S. Scowen. - Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan ; Paris; Santa Clara; Singapore; Tokyo: Springer. 1996 ISBN 3-540-59304-7 NE: Ed-Db.li. AbdeIAli:; Cervoni, Laurent:
With 8 Figures and 6 Tables CR Subject Classification (1991): D.1.6, D.3.0-3, A.2, K.1, F.4.2, 1.3.6,1.2.3, 1.2.5 ISBN-\3: 978-3-540-59304-1 e-ISBN-\3: 978-3-642-61411-8 DOl: 10.1007/978-3-642-61411-8 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. ©
Springer-Vedag Berlin Heidelberg 1996
The use of general descriptive names, trademarks, etc, in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover Design: Kunkel + Lopka Werbeagentur, Ilvesheim Typesetting: Camera ready by authors SPIN 10501650 45/3142 - 5432 I 0 Printed on acid-free paper
Foreword
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 o
Data Loading...
