The art of Prolog : advanced programming techniques

著者

• Sterling, Leon
• Shapiro, Ehud Y.
• Warren, David H. D.

書誌事項

The art of Prolog : advanced programming techniques

Leon Sterling, Ehud Shapiro ; with a foreword by David H.D. Warren

（MIT Press series in logic programming）

MIT Press, 1994

2nd ed

注記

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.

目次

• 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.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA22639521
• ISBN:
  • 0262193388
• LCCN: 93049494
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass.
• ページ数/冊数: xxxix, 509 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.73.P76
  • DC20 : 005.13/3
• 件名:
  • LCSH : Prolog (Computer program language)
• 親書誌ID:
  • BA00214201