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 Techniquesby Attila Csenki - BookBoon
This is the first of two volumes by the author on the programming language Prolog and its applications. In the first volume you can read about the accumulator technique, difference lists, program manipulations and exploratory code development.
(20710 views)
prolog :- tutorialby J. R. Fisher - 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.
(10924 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.
(16874 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.
(10673 views)