𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

An introduction to programming in Prolog

✍ Scribed by Saint-Dizier P.

Publisher
Springer
Year
1990
Tongue
English
Leaves
195
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

An Introduction to Programming in Prolog
πŸ“ An Introduction to Programming in Prolog
✍ Patrick Saint-Dizier (auth.) πŸ“‚ Library πŸ“… 1990 πŸ› Springer-Verlag New York 🌐 English

<p>This book is an introduction to Prolog (Β£rQgramming in ~ic). It presents the basic foundations of Prolog and basic and fundamental programming methods. This book is written for programmers familiar with other programming languages, as well as for novices in computer science, willing to have an or

An Introduction to Logic Programming Thr
πŸ“ An Introduction to Logic Programming Through Prolog
✍ 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
πŸ“ An Introduction to Logic Programming Through Prolog
✍ 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