Name: From Logic Programming to Prolog
Author: Apt, Krzysztof
ISBN: 9780132303682

by Apt, Krzysztof

by Apt, Krzysztof

Marketplace Prices
Used from $123.35

Used
$123.35

Item Details
Condition: Good
Provider: Bonita Contact
Provider Rating:

0%
Ships From: Multiple Locations
Shipping: Standard
Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.

ISBN-13: 9780132303682
ISBN: 013230368X
Publisher: Prentice Hall PTR

AUTHOR

Apt, Krzysztof

SUMMARY

A complete introduction to both logic programming and the Prolog language.Shows how logic programming and Prolog can be used in important applications such as artificial intelligence, knowledge-based systems, computational linguistics, and concurrent programming. Covers important Prolog programming issues such as determination, occur-check freedom, partial correctness, and absence of errors. Demonstrates how Prolog programs may be verified.Professionals and students working with logic programming or the Prolog computer language.Apt, Krzysztof is the author of 'From Logic Programming to Prolog' with ISBN 9780132303682 and ISBN 013230368X.

[read more]