The Art of Prolog, second edition

The Art of Prolog, second edition
Author :
Publisher : MIT Press
Total Pages : 553
Release :
ISBN-10 : 9780262691635
ISBN-13 : 0262691639
Rating : 4/5 (639 Downloads)

Book Synopsis The Art of Prolog, second edition by : Leon S. Sterling

Download or read book The Art of Prolog, second edition written by Leon S. Sterling and published by MIT Press. This book was released on 1994-03-10 with total page 553 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


The Art of Prolog, second edition Related Books

The Art of Prolog, second edition
Language: en
Pages: 553
Authors: Leon S. Sterling
Categories: Computers
Type: BOOK - Published: 1994-03-10 - Publisher: MIT Press

DOWNLOAD EBOOK

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 acco
Automated Deduction – CADE-22
Language: en
Pages: 504
Authors: Renate Schmidt
Categories: Computers
Type: BOOK - Published: 2009-07-26 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 22nd International Conference on Automated Deduction, CADE-22, held in Montreal, Canada, in August 2009. T
Logic, Language, Information and Computation
Language: en
Pages: 321
Authors: Wilfrid Hodges
Categories: Philosophy
Type: BOOK - Published: 2008-06-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containi
Logic Programming and Soft Computing
Language: en
Pages: 320
Authors: T. P. Martin
Categories: Computers
Type: BOOK - Published: 1998 - Publisher: Research Studies Press Limited

DOWNLOAD EBOOK

The challenge now facing AI is to produce systems exhibiting higher 'machine IQ' and using 'common sense' reasoning, rather than purely logical deduction. Soft
NBS Special Publication
Language: en
Pages: 478
Authors:
Categories: Weights and measures
Type: BOOK - Published: 1965 - Publisher:

DOWNLOAD EBOOK