Delivery included to the United States

From Logic Programming to Prolog

From Logic Programming to Prolog - Prentice Hall International Series in Computer Science

Paperback (24 Oct 1996)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

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.

About the Publisher

Prentice Hall

Book information

ISBN: 9780132303682
Publisher: Pearson Education
Imprint: Prentice Hall
Pub date:
DEWEY: 005.133
DEWEY edition: 20
Language: English
Number of pages: 328
Weight: 498g
Height: 241mm
Width: 177mm
Spine width: 19mm