The Art of Prolog: Advanced Programming Techniques

— —

Leon S. Sterling (Professor and Chair of Software Innovation and Engineering, The University of Melbourne) Ehud Y. Shapiro (Weizmann Institute of Science)

The Art of Prolog

Advanced Programming Techniques

Leon S. Sterling (Professor and Chair of Software Innovation and Engineering, The University of Melbourne), Ehud Y. Shapiro (Weizmann Institute of Science)

$230

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Massachusetts Inst of Tec
03 October 1994

Programming & scripting languages: general

Series: Logic Programming

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 section has been added on stepwise enhancement-a systematic way of constructing Prolog programs developed by Leon Sterling. 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.

By: Leon S. Sterling (Professor and Chair of Software Innovation and Engineering The University of Melbourne), Ehud Y. Shapiro (Weizmann Institute of Science)
Imprint: Massachusetts Inst of Tec
Country of Publication: United States
Edition: 2nd Revised edition
Dimensions: Height: 229mm, Width: 203mm, Spine: 28mm
Weight: 998g
ISBN: 9780262691635
ISBN 10: 0262691639
Series: Logic Programming
Pages: 549
Publication Date: 03 October 1994
Recommended Age: From 18
Audience: College/higher education , Professional and scholarly , Further / Higher Education , Undergraduate
Format: Paperback
Publisher's Status: Active

Part 1 Logic programs: basic constructs; database programming; recursive programming; the computation model of logic programs; theory of logic programs. Part 2 The Prolog language: pure Prolog; programming in pure Prolog; arithmetic; structure inspection; meta-logical predicates; cuts and negation; extra-logical predicates; program development. Part 3 Advanced Prolog programming techniques: nondeterministic programming; incomplete data structures; second-order programming; interpreters; program transformation; logic grammars; search techniques. Part 4 Applications: game-playing programs; a credit evaluation expert system; an equation solver; a compiler. Appendix: operators.

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