Prolog by Example
Subtitle: How to Learn, Teach and Use It
By: by Helder Coelho, José Carlos Cotta
Contributors: Cotta, José Carlos
Series: Symbolic Computation, Artificial Intelligence; Symbolic Computation, Artificial Intelligence
Publisher: Springer Berlin Heidelberg
Published: 1988
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 382
ISBN-13: 9783642832154; 9783642832130
Subjects: Computer science; Artificial intelligence
Description: This is a book about using Prolog, and about teaching it by example. Its real asset is a huge collection of problems (175), with their programs and associated comments, distributed over 17 sections. The book is recommended to introductory and advanced university courses where students may need to refresh the basics about logic programming and Prolog, before starting practice. It is also a guide book for software development in Prolog. The reader may pick up programs from the book as building blocks and use them in large systems. For this new edition, the previous book by the authors, "How to Solve it with Prolog", was enlarged, structured and refined.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Contents: Teaching Prolog; title: One Or Two Things About Prolog; title: Using Prolog; title: Proving with Prolog; title: Doing Arithmetic with Prolog; title: Doing Algebra with Prolog; title: Playing with Prolog; title: Searching with Prolog; title: Learning with Prolog; title: Modeling with Prolog; title: Designing with Prolog; title: Drawing with Prolog; title: Planning with Prolog; title: Seeing with Prolog; title: Engineering Grammars with Prolog; title: Constructing Personal Databases with Prolog; title: Text Formatting with Prolog; title: Management with Prolog; title: Buildung Up with Prolog; title: Acknowledgments; title: Appendices; title: References.