VERY GOOD: This book is in very good condition, showing only the slightest signs of use and wear. It was printed on acid-free paper.
Product Details
From the back cover: "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. The presentation 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 worksheet introduces only a limited number of new ideas, and give some guidance for practicing them. The principles introduced in the worksheets are then applied to extended examples i the form of case studies. These case studies include practical applications in circuit design, symbolic algebra, the Fast Fourier Transform, and higher-order functional programming. The subset of Prolog used in this book is compliant with ISO Standard Prolog."
Chapters
Getting Started
Data Structures
Mapping
Choice and Commitment
Difference Structures
Case Study: Term Rewriting
Case Study: Manipulation of Combinational Circuits
