num_pages: 218
description: 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 ofgreat interest. Fitting considers the relation of PROLOG logic programming to the LISP type of language.
language: English
title: Computability Theory, Semantics, and Logic Programming
titlecomplete: Computability Theory, Semantics, and Logic Programming
ratings_count: 1
publisher: Oxford University Press, USA