| 书目名称 | Prolog: The Standard | | 副标题 | Reference Manual | | 编辑 | Pierre Deransart,AbdelAli Ed-Dbali,Laurent Cervoni | | 视频video | | | 图书封面 |  | | 描述 | 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 t | | 出版日期 | Book 1996 | | 关键词 | Formale Spezifikation; Logische Programmierung; Natural; Programming language A; Prolog; Sprachbeschreibu | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-61411-8 | | isbn_softcover | 978-3-540-59304-1 | | isbn_ebook | 978-3-642-61411-8 | | copyright | Springer-Verlag Berlin Heidelberg 1996 |
The information of publication is updating
|
|
发表于 2025-3-21 19:51:22
