Computability Theory, Semantics, and Logic Programming

by Melvin Fitting

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.

• Format: Hardcover
• Language: English
• ISBN: 0195036913
• ISBN13: 9780195036916
• Release Date: April 1987
• Publisher: Oxford University Press, USA
• Length: 218 Pages
• Weight: 1.13 lbs.
• Dimensions: 0.8" x 6.3" x 9.6"