{"product_id":"the-art-of-prolog-advanced-programming-techniques-mit-press-series-in-logic-programming-9780262192507","title":"The Art of Prolog: Advanced Programming Techniques (Mit Press Series in Logic Programming)","description":"\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"My Store","offers":[{"title":"Default Title","offer_id":45529683656757,"sku":"ByrdShop_0262192500","price":249.84,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0627\/8139\/0901\/files\/9780262192507.jpg?v=1780941823","url":"https:\/\/atxbooks.com\/products\/the-art-of-prolog-advanced-programming-techniques-mit-press-series-in-logic-programming-9780262192507","provider":"ATX Books","version":"1.0","type":"link"}