๐”– Scriptorium
โœฆ   LIBER   โœฆ

๐Ÿ“

An introduction to logic programming through Prolog

โœ Scribed by Spivey M.


Publisher
Prentice hall
Year
2002
Tongue
English
Category
Library

โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


An Introduction to Logic Programming Thr
โœ J. M. Spivey, Michael Spivey ๐Ÿ“‚ Library ๐Ÿ“… 2002 ๐Ÿ› PH ๐ŸŒ English

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.

An Introduction to Logic Programming Thr
โœ Spivey J.M. ๐Ÿ“‚ Library ๐Ÿ“… 2008 ๐Ÿ› Prentice Hall ๐ŸŒ English

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

An Introduction to Logic Programming Thr
โœ Spivey J.M. ๐Ÿ“‚ Library ๐Ÿ“… 2008 ๐Ÿ› Prentice Hall ๐ŸŒ English

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