An Introduction to Logic Programming thr
โ
J. M. Spivey, Michael Spivey
๐
Library
๐
1996
๐
Prentice Hall
๐
English
โ 472 KB
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.