| 書目名稱 | Prolog: The Standard | | 副標(biāo)題 | Reference Manual | | 編輯 | Pierre Deransart,AbdelAli Ed-Dbali,Laurent Cervoni | | 視頻video | http://file.papertrans.cn/762/761168/761168.mp4 | | 圖書封面 |  | | 描述 | 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 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 20:33
發(fā)表于 2025-3-21 19:51:22
