ENGLISH

An introduction to logic programming through Prolog

By J. M. Spivey , Michael Spivey

Book information

Publisher
Prentice Hall
Year
1996
ISBN
0135360471, 9780135360477
LCC
QA76.63 .S64 1996
Open Library ID
OL814822M
Language
english
Format
PDF
Filesize
1 MB (1401616 bytes)
Series
Prentice Hall International Series in Computer Science
Pages
260\260
Time added
2009-08-06 05:14:26

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.

Similar books