Computability theory, semantics, and logic programming

Oxford: Clarendon Press (1987)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

Call number

QA9.59.F58 1987

ISBN(s)

0195036913

DOI

10.2307/2274624

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,756

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Book review: Melvin Fitting. Computability theory, semantics, and logic programming. [REVIEW]Martin Davis - 1990 - Notre Dame Journal of Formal Logic 31 (3):485-486.
Fitting Melvin. Computability theory, semantics, and logic programming. Oxford logic guides, no. 13. Clarendon Press, Oxford University Press, Oxford and New York 1987, xi + 198 pp. [REVIEW]J. C. Shepherdson - 1988 - Journal of Symbolic Logic 53 (4):1257-1257.
Logic and Prolog.Richard Spencer-Smith - 1991
From Logic Programming to Prolog.Krzysztof R. Apt - 1997
Automata, Languages, and Programming: 16th International Colloquium, Stresa, Italy, July 11-15, 1989 : Proceedings.Giorgio Ausiello & Mariangiola Dezani-Ciancaglini - 1989 - Springer.
An Introduction to Logic Programming Through Prolog.J. M. Spivey - 1996
Logic Programming: Prolog and Stream Parallel Languages.Jan Newmarch - 1990
Logic and Programming in Logic.Ramin Yasdi - 1997 - Psychology Press.
The Gödel Programming Language.Patricia Hill & John Wylie Lloyd - 1994 - MIT Press.
DLP - A Language for Distributed Logic Programming: Design, Semantics and Implementation.Anton Eli?ns - 1992 - Universiteit van Amsterdam.

Analytics

Added to PP
2009-01-28

Downloads
53 (#457,493)

6 months
15 (#217,594)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
Pseudo-Boolean valued prolog.Melvin Fitting - 1988 - Studia Logica 47 (2):85-91.

Add more citations

References found in this work

No references found.

Add more references