Computing with Logic: Logic Programming with Prolog

&
Prentice-Hall (1988)
  Copy   BIBTEX

Abstract

Computing with logic / Maier, D., Warren, D.S.

Categories

Keywords

Reprint years

ISBN(s)

0805366814
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,846

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

Prolog Programming for Students: With Expert Systems and Artificial Intelligence Topics.David Callear - 2001 - Cengage Learning Business Press.
Logic, Programming, and Prolog.Ulf Nilsson & J. Malszy Nski - 1990
Computability theory, semantics, and logic programming.Melvin Fitting - 1987 - Oxford: Clarendon Press.
Logic Programming: Prolog and Stream Parallel Languages.Jan Newmarch - 1990
An Introduction to Logic Programming Through Prolog.J. M. Spivey - 1996
Prolog++: The Power of Object-oriented and Logic Programming.Chris Moss & Christopher D. S. Moss - 1994 - Addison-Wesley Longman.
The Implementation of Prolog.Patrice Boizumault - 2014 - Princeton Legacy Library.
Logic Programming: A Classified Bibliography.I. Balbin & K. Lecot - 1985 - Springer.
From Logic Programming to Prolog.Krzysztof R. Apt - 1997
Logic and Programming in Logic.Ramin Yasdi - 1997 - Psychology Press.
First-order theories for pure Prolog programs with negation.Robert F. Stärk - 1995 - Archive for Mathematical Logic 34 (2):113-144.
Mints type deductive calculi for logic programming.J. C. Shepherdson - 1992 - Annals of Pure and Applied Logic 56 (1-3):7-17.
A Fuzzy PROLOG Database System.Deyi Li & Dongbo Liu - 1990 - *Research Studies Press.
Advanced Logic Programming for Language Processing.Patrick Saint-Dizier - 1994

Analytics

Added to PP
2015-02-02

Downloads
4 (#1,623,074)

6 months
2 (#1,196,523)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Maier
Columbia University

Citations of this work

Add more citations

References found in this work

No references found.

Add more references