| 书目名称 | Clause and Effect | | 副标题 | Prolog Programming f | | 编辑 | William F. Clocksin | | 视频video | http://file.papertrans.cn/228/227258/227258.mp4 | | 概述 | A workbook for programmers in any language who wish to learn Prolog * Conforms to ISO Standard Prolog * Novel presentation using basic concepts, worksheets, and case studies | | 图书封面 |  | | 描述 | This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a reference manual. The emphasis of this book is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. This book is therefore not concerned about the particular features of the language nor about Prolog programming skills or techniques in general. A relatively pure subset of Prolog is used, which includes the ‘cut‘, but no input/output, no assert/retract, no syntactic extensions such as if then-else and grammar rules, and hardly any built-in predicates apart from arithmetic operations. I trust that practitioners of Prolog program ming who have a particular interest in the finer details of syntactic style and language features will understand my purposes in not discussing these matters. The presentation, which I believe is novel for a Prolog programming text, is in terms of an outline of basic concepts interleaved with worksheets. The idea is that worksheets are rather like musical exercises. Carefully graduated in scope, each work | | 出版日期 | Book 1997 | | 关键词 | Mathematica; Programmieren; Programmierung; Prolog; Strukturierte Programmierung; compiler; data structure | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-58274-5 | | isbn_softcover | 978-3-540-62971-9 | | isbn_ebook | 978-3-642-58274-5 | | copyright | Springer-Verlag Berlin Heidelberg 1997 |
The information of publication is updating
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-14 21:58
发表于 2025-3-21 19:16:01
