ENGLISH

An Introduction to Logic Programming through Prolog

By J. M. Spivey , Michael Spivey

Book information

Publisher
Prentice Hall
Year
1996
ISBN
9780135360477, 0135360471
LCC
QA76.63 .S64 1996
Open Library ID
OL814822M
Language
english
Format
GZ
Filesize
472 kB (483422 bytes)
Series
Prentice Hall International Series in Computer Science
Pages
352\260
Library
mexmat
Time added
2009-07-20 03:45:11

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