Publisher description for Computability theory, semantics, and logic programming / Melvin Fitting.

Bibliographic record and links to related information available from the Library of Congress catalog

Information from electronic data provided by the publisher. May be incomplete or contain other coding.

This book describes computability theory and provides an extensive treatment of data structures and program correctness. It makes accessible some of the author's work on generalized recursion theory, particularly the material on the logic programming language PROLOG, which is currently of
great interest. Fitting considers the relation of PROLOG logic programming to the LISP type of language.

Library of Congress subject headings for this publication:
Computable functions.
Data structures (Computer science)