Art of Prolog Advanced Programming Techniques

Name: Art of Prolog Advanced Programming Techniques
Price: 111.79 USD
Availability: InStock
ISBN: 9780262192507

ISBN-10: 0262192500

ISBN-13: 9780262192507

Edition: 1986

Authors: Leon S. Sterling, Ehud Y. Shapiro

List price: $45.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $111.79

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

All but one of the chapters in Part III, Advanced Prolog Programming Techniques, have been substantially changed, with some major rearrangements. A new chapter on interpreters describes a rule language and interpreter for expert systems, which better illustrates how Prolog should be used to construct expert systems. The chapter on program transformation is completely new and the chapter on logic grammars adds new material for recognizing simple languages, showing how grammars apply to more computer science examples.

Book details

List price: $45.00
Copyright year: 1986
Publisher: MIT Press
Binding: Hardcover
Pages: 312
Weight: 2.508
Language: English

Leon S. Sterling is Director of eResearch and Chair of Software Innovation and Engineering atthe University of Melbourne. He is the coauthor of The Art of Prolog (secondedition, MIT Press, 1994) and the editor of The Practice of Prolog (MIT Press,1990).

Figures
Programs
Series Foreword
Foreword
Preface
Preface to First Edition
Introduction	p. 1
Logic Programs	p. 9
Basic Constructs	p. 11
Database Programming	p. 29
Recursive Programming	p. 45
The Computation Model of Logic Programs	p. 87
Theory of Logic Programs	p. 101
The Prolog Language	p. 117
Pure Prolog	p. 119
Programming in Pure Prolog	p. 129
Arithmetic	p. 149
Structure Inspection	p. 163
Meta-Logical Predicates	p. 175
Cuts and Negation	p. 189
Extra-Logical Predicates	p. 215
Program Development	p. 233
Advanced Prolog Programming Techniques	p. 247
Nondeterministic Programming	p. 249
Incomplete Data Structures	p. 283
Second-Order Programming	p. 301
Interpreters	p. 319
Program Transformation	p. 357
Logic Grammars	p. 375
Search Techniques	p. 389
Applications	p. 409
Game-Playing Programs	p. 411
A Credit Evaluation Expert System	p. 429
An Equation Solver	p. 439
A Compiler	p. 459
A: Operators	p. 479
References	p. 483
Index	p. 497
Table of Contents provided by Blackwell. All Rights Reserved.