| 書目名稱 | Programming in Prolog | | 副標(biāo)題 | Using the ISO Standa | | 編輯 | William F. Clocksin,Christopher S. Mellish | | 視頻video | http://file.papertrans.cn/761/760185/760185.mp4 | | 圖書封面 |  | | 描述 | The continued popularity of Prolog and oflogic programming in general has called for a new edition in which we have corrected a few minor errors found in the previous edition. Since the previous edition of this book, the development of Prolog has proceeded with much vigour and creativity on the part of hundreds of researchers around the world. For example, the International Conference on Logic Programming will meet in 1995 for the twelfth time; the Internet newsgroup comp . 1 ang . pro log exchanges many messages daily; and there are numerous World-Wide Web resources of interest to Prolog users. It is no longer posssible to track the many books on Prolog and implementations of Prolog that are now available. The Prolog idea has been extended to new languages for manipulating sets of constraints, functional expressions, type hierarchies, and object-oriented programs. And yet throughout this time the Edinburgh Prolog syntax and semantics have served as a standard and as a base of stability. In tum, we hope that this book can continue to serve as an introduction to the language and its use. Cambridge, England W. F. C. July 1994 C. S. M. PREFACE TO THE THIRD EDITION We have added new ma | | 出版日期 | Book 19944th edition | | 關(guān)鍵詞 | C programming language; Logical Programming; PROLOG (EDV); Programmiersprache; Programming Language; Prol | | 版次 | 4 | | doi | https://doi.org/10.1007/978-3-642-97596-7 | | isbn_ebook | 978-3-642-97596-7 | | copyright | Springer-Verlag Berlin Heidelberg 1994 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-11-1 20:44
發(fā)表于 2025-3-21 16:59:32
