Main From Logic Programming to Prolog

From Logic Programming to Prolog

4.0 / 5.0
0 comments
A unique publication that provides an introduction to the theory of logic programming and its application to Prolog programs. Covers programming issues such as termination, occur-check freedom, partial correctness and absence of runtime errors. Paper. DLC: Logic programming.
Request Code : ZLIBIO400499
Categories:
Year:
1996
Edition:
1st
Publisher:
Prentice Hall
Language:
English
Pages:
345
ISBN 10:
013230368X
ISBN 13:
9780132303682
ISBN:
013230368X,9780132303682

Comments of this book

There are no comments yet.