Provides a systematic introduction to the theory of logic programming and shows how this theory can be applied to reason about pure Prolog programs. The text includes an introduction to programming in Prolog and deals with such programming issues as determination, occur-check freedom and absence of errors. It covers both the natural interpretations of logic programming, as declarative specification and as procedure for computer execution.

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

Customer Reviews

There are no customer reviews yet.

Create your own review

Video reviews

Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jqOnDisplayBlock { display: none; } .jqOnDisplayInline { display: none; } .jqOnVisibility { visibility: hidden; } .jqOnDisplayNoneBlock { display: block; } .jqOnDisplayNoneInline { display: inline; }

Customer Discussions

This product's forum

Discussion	Replies	Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight

Look for similar items by category

Books > Computing & Internet > Programming > Languages & Tools
Books > Computing & Internet > Software & Graphics
Books > Science & Nature > Mathematics > Education > Higher Education
Books > Science & Nature > Mathematics > Mathematical Foundations > Mathematical Logic
Books > Scientific, Technical & Medical > Mathematics > Mathematical Theory > Mathematical Logic

Feedback

Would you like to update product info or give feedback on images?
I am the Author, and I want to comment on my book.
I am the Publisher, and I want to comment on this book.

Your Recent History

(What's this?)

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.

› Visit the Page You Made

Get to Know Us

Make Money with Us

Let Us Help You

Conditions of Use & Sale | Privacy Notice � 1996-2009, Amazon.com, Inc. or its affiliates

From Logic Programming to Prolog (Prentice Hall International Series in Computer Science) (Textbook Binding)

Customers Viewing This Page May Be Interested in These Sponsored Links

Product details

Product Description