Logo

Logic, Programming and Prolog

Small book cover: Logic, Programming and Prolog

Logic, Programming and Prolog
by

Publisher: John Wiley & Sons Inc
ISBN/ASIN: 0471959960
ISBN-13: 9780471959960
Number of pages: 296

Description:
What sets this book apart from others on logic programming is the breadth of its coverage. The authors have achieved a fine balance between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications. This edition introduces major new developments in a continually evolving field and includes such topics as concurrency and equational and constraint logic programming.

Home page url

Download or read it online for free here:
Download link
(1.9MB, PDF)

Similar books

Book cover: The First 10 Prolog Programming ContestsThe First 10 Prolog Programming Contests
by
This book shows solutions to problems that were in the first 10 Prolog Programming Contests. The solutions could have been constructed during the contest under time pressure, and so you will find many solutions using the generate and test strategy.
(15162 views)
Book cover: prolog :- tutorialprolog :- tutorial
by - California State Polytechnic University, Pomona
Prolog is a logical and a declarative programming language. This tutorial is intended to help learn the essential, basic concepts of Prolog. The sample programs have been chosen to promote the use of Prolog in an artificial intelligence course.
(10611 views)
Book cover: Prolog Programming in DepthProlog Programming in Depth
by - Prentice-Hall
Full coverage of the Prolog programming language including the latest ISO standard. Includes ready-to-run code for expert system shells, other intelligent problem-solvers, and algorithms to read foreign file formats, even Lotus spreadsheets.
(10721 views)
Book cover: Prolog Experiments in Discrete Mathematics, Logic, and ComputabilityProlog Experiments in Discrete Mathematics, Logic, and Computability
by - Portland State University
Programming experiments designed to help learning of discrete mathematics, logic, and computability. Most of the experiments are short and to the point, just like traditional homework problems, so that they reflect the daily classroom work.
(22312 views)