03482oam 2200625 a 450 991076600050332120230828220211.09780262284325026228432497805853498480585349843(CKB)111004366634264(MH)007877355-5(SSID)ssj0000105909(PQKBManifestationID)12016251(PQKBTitleCode)TC0000105909(PQKBWorkID)10102215(PQKB)10250387(ScCtBLL)5265c783-eaf8-4b52-a7a2-35bcc082b885(OCoLC)1139863879(EXLCZ)9911100436663426419931215d1994 uy 0enguru||||||||||txtccrThe art of Prolog advanced programming techniques /Leon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren2nd ed.Cambridge, Mass. MIT Pressc19941 online resource (xxxix, 509 p. )ill. ;Logic programming The art of Prolog Logic programmingBibliographic Level Mode of Issuance: Monograph9780262193382 0262193388 Includes bibliographical references (p. [483]-495) and index.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.Prolog (Computer program language)Engineering & Applied SciencesHILCCComputer ScienceHILCCProlog (Computer program language)Engineering & Applied SciencesComputer Science005.13/3Sterling Leon53869Shapiro Ehud Y53870DLCDLCDLCBOOK9910766000503321The art of Prolog3647930UNINAThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress