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: 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.
(16350 views)
Book cover: Logic, Programming and PrologLogic, Programming and Prolog
by - John Wiley & Sons Inc
This textbook provides a uniform account of both the foundations of logic programming and simple programming techniques in the programming language Prolog. The authors limited their attention to the most important areas of logic programming.
(18618 views)
Book cover: Natural Language Processing Techniques in PrologNatural Language Processing Techniques in Prolog
by - 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.
(4773 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.
(4015 views)