Introduction to Logic Programming

London, England: Academic Press (1984)
  Copy   BIBTEX

Abstract

Representation and reasoning; Logic programs; Programming style; Data structures; Program verification; Formal program synthesis; Implementation; Broader contributions to computing.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780123520906   0123520924   0123520908
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

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

An Introduction to Logic Programming Through Prolog.J. M. Spivey - 1996
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings.Laurent Fribourg & Franco Turini - 1994 - Springer Verlag.
Logic Programming and Knowledge Engineering.Tore Amble - 1987 - Addison Wesley Publishing Company.
Logic Programming: Proceedings of the Twelfth International Conference on Logic Programming.Leon Sterling - 1995 - MIT Press.
Computing and Programming in Context—Introduction.Tomas Petricek - 2020 - Philosophy and Technology 34 (1):7-11.
Middle-Out Reasoning for Logic Program Synthesis.Ina Kraan, David A. Basin & Alan Bundy - 1993 - Department of Artificial Intelligence, University of Edinburgh.
Temporal Logic of Programs.Fred Kröger - 1987 - Springer.
Meta-logics and Logic Programming.Krzysztof R. Apt & Franco Turini - 1995 - MIT Press (MA).
Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94, Madrid, Spain, September 14 - 16, 1994. Proceedings.Manuel Hermenegildo & Jaan Penjam - 1994 - Springer Verlag.
Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings.John P. Gallagher - 1997 - Springer Verlag.

Analytics

Added to PP
2021-11-17

Downloads
2 (#1,819,493)

6 months
2 (#1,259,876)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references