An Introduction to Logic Programming through Prolog
by Michael Spivey
Publisher: Prentice Hall 2008
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.
Download or read it online for free here:
Download link
(1.4MB, PDF)
Similar books
Prolog Programming in Depthby Michael A. Covington, Donald Nute, Andre Vellino - 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.
(3503 views)
Prolog Programming: A First Courseby Paul Brna
These notes are designed for undergraduate students who have some programming experience. The function of the text is to provide students studying Artificial Intelligence with an intensive introduction to Prolog, there is a slight bias towards AI.
(9314 views)
Natural Language Processing Techniques in Prologby Patrick Blackburn, Kristina Striegnitz - Union College
Contents: Finite State Automata; Finite State Parsers and Transducers; Finite State Methods in Natural Language Processing; Recursive Transition Networks (RTNs); RTN transducers and ATNs; Definite Clause Grammars; Bottom Up, Top Down Parsing; etc.
(3547 views)
Adventure in Prologby Dennis Merritt - 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.
(14001 views)