An introduction to Logic programming through Prolog
โ Scribed by Spivey M
- Publisher
- Prentice hall
- Year
- 2002
- Tongue
- English
- Leaves
- 260
- Category
- Library
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
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.
This is one of the few texts that combines three essential theses in the study of logic programming: the logic that gives logic programs their unique character: the practice of programming effectively using the logic; and the efficient implementation of logic programming on computers. The book begin
This is one of the few texts that combines three essential theses in the study of logic programming: the logic that gives logic programs their unique character: the practice of programming effectively using the logic; and the efficient implementation of logic programming on computers. The book begin