An Introduction to Logic Programming Through Prolog

(1996)
  Copy   BIBTEX

Abstract

Logic programming has increasing significance in computer science beyond the current fashion for expert systems. This book takes a software engineering rather than an expert systems/AI approach and covers logical theory, practical programming and PROLOG im.

Categories

Keywords

Reprint years

ISBN(s)

0135360471

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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

From Logic Programming to Prolog.Krzysztof R. Apt - 1997
Logic Programming: Prolog and Stream Parallel Languages.Jan Newmarch - 1990
Logic and Programming in Logic.Ramin Yasdi - 1997 - Psychology Press.
Logic, Programming, and Prolog.Ulf Nilsson & J. Malszy Nski - 1990
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings.Gerard Comyn & Norbert E. Fuchs - 1992 - Springer Verlag.
Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
Logic Programming: Proceedings of the Tenth International Conference on Logic Programming.David S. Warren - 1993 - MIT Press.
Computing with Logic: Logic Programming with Prolog.David Maier & David S. Warren - 1988 - Prentice-Hall.
From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence.André Thayse & Paul Gochet - 1988
Simply Logical: Intelligent Reasoning by Example.Peter Flach - 1994 - Wiley.

Analytics

Added to PP
2015-02-13

Downloads
9 (#1,560,696)

6 months
2 (#1,294,541)

Historical graph of downloads
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