Art of Prolog Advanced Programming Techniques

Name: Art of Prolog Advanced Programming Techniques
Price: 139.71 USD
Availability: InStock
ISBN: 9780262193382

ISBN-10: 0262193388

ISBN-13: 9780262193382

Edition: 2nd 1994

Authors: Leon S. Sterling, Ehud Shapiro

List price: $85.00

30 day, 100% satisfaction guarantee!

Marketplace

3 new & used from $139.71

what's this?

Rush Rewards U
Members Receive:

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

Description:

This new edition of The Art of Prolog contains a number of important changes. Most background sections at the end of each chapter have been updated to take account of important recent research results, the references have been greatly expanded, and more advanced exercises have been added which have been used successfully in teaching the course. Part II, The Prolog Language, has been modified to be compatible with the new Prolog standard, and the chapter on program development has been significantly altered: the predicates defined have been moved to more appropriate chapters, the section on efficiency has been moved to the considerably expanded chapter on cuts and negation, and a new…

Book details

List price: $85.00
Edition: 2nd
Copyright year: 1994
Publisher: MIT Press
Publication date: 3/10/1994
Binding: Hardcover
Pages: 550
Size: 8.25" wide x 9.25" long x 1.50" tall
Weight: 2.838
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



Logic Programs



Basic Constructs



Database Programming



Recursive Programming



The Computation Model of Logic Programs



Theory of Logic Programs



The Prolog Language



Pure Prolog



Programming in Pure Prolog



Arithmetic



Structure Inspection



Meta-Logical Predicates



Cuts and Negation



Extra-Logical Predicates



Program Development



Advanced Prolog Programming Techniques



Nondeterministic Programming



Incomplete Data Structures



Second-Order Programming



Interpreters



Program Transformation



Logic Grammars



Search Techniques



Applications



Game-Playing Programs



A Credit Evaluation Expert System



An Equation Solver



A Compiler


A: Operators


References


Index