Showing posts with label Computer Science/Programming Language/Prolog. Show all posts
Showing posts with label Computer Science/Programming Language/Prolog. Show all posts

Saturday, March 24, 2012

The Art of Prolog (2nd edition)

Book Description

Publication Date: March 10, 1994 | ISBN-10: 0262193388 | ISBN-13: 978-0262193382 | Edition: 2
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.

About the Author

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

Product Details


Цааш нь »
at No comments:

Logic, Programmin and Prolog (2nd edition)

at No comments:

Tuesday, March 13, 2012

Artificial Intelligence: Structures and Strategies for Complex Problem Solving



Book Description

Publication Date: October 10, 2004  
ISBN-10: 0321263189  
ISBN-13: 978-0321263186  
Edition: 5
Much has changed since the early editions of Artificial Intelligence were published. To reflect this the introductory material of this fifth edition has been substantially revised and rewritten to capture the excitement of the latest developments in AI work. Artificial intelligence is a diverse field. To ask the question "what is intelligence?" is to invite as many answers as there are approaches to the subject of artificial intelligence. These could be intelligent agents, logical reasoning, neural networks, expert systems, evolutionary computing and so on. This fifth edition covers all the main strategies used for creating computer systems that will behave in "intelligent" ways. It combines the broadest approach of any text in the marketplace with the practical information necessary to implement the strategies discussed, showing how to do this through Prolog or LISP programming.

Product Details


Цааш нь »
at No comments:

Artificial Intelligence: Strategies, Applications and Models through SEARCH-Second edition

Publication Date: January 11, 1999
ARTIFICIAL INTELLIGENCE Strategies, Applications, and Models Through Search Second Edition This innovative new book on artificial intelligence (AI) uses the unifying thread of SEARCH to bring together the major application and modeling techniques that use symbolic AI. Each of the eleven chapters is divided into three sections: ** a section which introduces the technique ** a section which develops a low-level (POP-11) implementation ** a section which develops a high-level (Prolog) implementation Comprehensive yet practical, this book will be of great value to those experienced in AI, as well as to students with some programming background and academics and professionals looking for a precise discussion of artificial intelligence through SEARCH. 
 

About the Author

Chris Thornton is Lecturer in Artificial Intelligence, Department of Informatics at the University of Sussex.

Benedict du Boulay Boulay is Professor of Artificial Intelligence, University of Sussex. --This text refers to an alternate Hardcover edition.

Product Details

  • Hardcover: 370 pages
  • Publisher: AMACOM; 2 Sub edition (January 11, 1999)
  • Language: English
  • ISBN-10: 0814404707
  • ISBN-13: 978-0814404706
  • Product Dimensions: 9.3 x 6.2 x 1 inches
  • Shipping Weight: 1.3 pounds
  • Average Customer Review: Be the first to review this item
  • Amazon Best Sellers Rank: #8,688,603 in Books (See Top 100 in Books)
 
Цааш нь »
at No comments:

Saturday, March 3, 2012

An Introduction to Logic Programming through Prolog


Book Description

Publication Date: March 5, 1996  
Series: Prentice Hall International Series in Computer Science
 
This is one of the few texts that combines three essential theses in the study of logic programming: the logic that gives logic programs their unique character: the practice of programming effectively using the logic; and the efficient implementation of logic programming on computers. The book begins with a gentle introduction to logic programming using a number of simple examples, followed by a concise and self-contained account of the logic behind Prolog programming. This leads to a discussion of methods of writing programs so that the process of deriving anwers from them is as efficient as possible. The techniques are illustrated by practical examples and the final part of the book explains how logic programming can be implented efficiently. It includes source code for a small but Complete Prolog implementation written in Pascal. The implementation is capable of running all the programs presented in the book, and is available via the Internet.

Product Details

Цааш нь »
at No comments:
Subscribe to: Posts (Atom)