From Logic Programming to PROLOG

Name: From Logic Programming to PROLOG
Availability: OutOfStock
ISBN: 9780132303682

ISBN-10: 013230368X

ISBN-13: 9780132303682

Edition: 1997

Authors: Krzysztof Apt

List price: $33.60

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Book details

List price: $33.60
Copyright year: 1997
Publisher: Prentice Hall PTR
Publication date: 11/19/1996
Binding: Paperback
Pages: 352
Size: 7.00" wide x 9.50" long x 0.75" tall
Weight: 1.100
Language: English



List of Figures


List of Programs


Preface


Acknowledgements



Introduction



Unification



Logic Programs: Procedural Interpretation



Logic Programs: Declarative Interpretation



Programming in Pure Prolog



Termination



The Occur-check Problem



Partial Correctness



Programming in Pure Prolog with Arithmetic



Verification of Pure Prolog Programs with Arithmetic



Towards Full Prolog


Index