Logo

An Introduction to Logic Programming through Prolog

Small book cover: An Introduction to Logic Programming through Prolog

An Introduction to Logic Programming through Prolog
by

Publisher: Prentice Hall
ISBN/ASIN: 0135360471
ISBN-13: 9780135360477
Number of pages: 258

Description:
Using theory as a foundation for practical programming, this text presents the theory of logic programming with clear proofs, extended examples, and implementation techniques. It covers logical theory, practical programming, and the structure of a simple Prolog implementation.

Home page url

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

Similar books

Book cover: Adventure in PrologAdventure in Prolog
by - Springer
This book takes a pragmatic, rather than theoretical, approach to the language and is designed for programmers interested in adding this powerful language to their bag of tools. Much of the book is built around the writing of a short adventure game.
(21623 views)
Book cover: Learn Prolog Now!Learn Prolog Now!
by - College Publications
One of the most popular introductions to Prolog, an introduction prized for its clarity and down-to-earth approach. It is widely used as a textbook at university departments around the world, and even more widely used for self study.
(17653 views)
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.
(12737 views)
Book cover: Prolog and Natural-Language AnalysisProlog and Natural-Language Analysis
by - Center for the Study of Language
A concise introduction to logic programming and the logic-programming language Prolog both as vehicles for understanding elementary computational linguistics and as tools for implementing the basic components of natural-language-processing systems.
(20477 views)