The item you're looking for is currently unavailable.
Publisher: Prentice Hall PTR
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.