Main From Logic Programming to Prolog Edition: 1st

From Logic Programming to Prolog Edition: 1st

Name: From Logic Programming to Prolog Edition: 1st
Rating: 5.0 (4 reviews)
ISBN: 9780132303682

Krzysztof R. Apt

5.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 : ZLIB.IO17316316

Categories:

Year:

2022

Publisher:

Prentice Hall

Language:

English

ISBN 10:

013230368X

ISBN 13:

9780132303682