From Logic Programming to PROLOG

by Krzysztof R. Apt

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 013230368X
• ISBN13: 9780132303682
• Release Date: November 1996
• Publisher: Prentice Hall
• Length: 328 Pages
• Weight: 1.15 lbs.
• Dimensions: 0.6" x 6.8" x 9.1"