From Logic Programming to Prolog

Apt, Krzysztof R.

 
9780132303682: From Logic Programming to Prolog

Synopsis

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.

"synopsis" may belong to another edition of this title.