𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logic, Programming and Prolog

✍ Scribed by Nilsson U., Maluszynski J.

Book ID
127446581
Year
2000
Tongue
English
Weight
2 MB
Category
Library

No coin nor oath required. For personal study only.

✦ Subjects

Искусственный интеллект

📜 SIMILAR VOLUMES

Logic, Programming and Prolog
Logic, Programming and Prolog
📂 Standards 📅 1995;2000 🏛 John Wiley & Sons 🌐 English ⚖ 541 KB

What sets this book apart from others on logic programming is the breadth of its coverage. The authors have achieved a fine balance between a clear and authoritative treatment of the theory and a practical, problem-solving approach to its applications. This edition introduces major new developments

Logic Programming with Prolog
Logic Programming with Prolog
✍ Max Bramer 📂 Library 📅 2005 🏛 Springer 🌐 English ⚖ 915 KB

This book teaches the techniques of Logic Programming through the Prolog language. The name stands for Programming in Logic. Prolog has been used for a wide variety of applications, including as the basis for a standard knowledge representation language for the Semantic Web the next generation of in

An Introduction to Logic Programming thr
An Introduction to Logic Programming through Prolog
✍ 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.

Logic programming and knowledge represen
Logic programming and knowledge representation—The A-Prolog perspective
✍ Michael Gelfond; Nicola Leone 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 262 KB

In this paper we give a short introduction to logic programming approach to knowledge representation and reasoning. The intention is to help the reader to develop a 'feel' for the field's history and some of its recent developments. The discussion is mainly limited to logic programs under the answer