ENGLISH

From Logic Programming to Prolog

By Krzysztof R. Apt

Book information

Publisher
Prentice Hall
Year
1996
ISBN
013230368X, 9780132303682
LCC
QA76.63 .A67 1997
Open Library ID
OL972897M
Language
english
Format
PDF
Filesize
1 MB (1361776 bytes)
Edition
1st
Pages
345\345
Time added
2011-04-28 18:43:47

Description

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.

Similar books