𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logic Programming with Prolog

✍ Scribed by Max Bramer

Book ID
127403135
Publisher
Springer
Year
2005
Tongue
English
Weight
915 KB
Edition
1
Category
Library
City
[London; New York]
ISBN
1852339381

No coin nor oath required. For personal study only.

✦ Synopsis

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 internet technology; it is one of the principal languages used by researchers in Artificial Intelligence. Logic Programming with Prolog does not assume that the reader is an experienced programmer with a strong background in Mathematics, Logic or Artificial Intelligence. It starts from scratch and aims to take the reader to a point where they can soon write powerful programs in the language. Suitable both as an introductory textbook and for independent study, the programs in this book are written using the standard Edinburgh syntax and should run unchanged in virtually any version of Prolog. A full glossary of the technical terms used is included and each chapter has self-assessment exercises.

πŸ“œ 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 and Prolog
Logic, Programming and Prolog
✍ Nilsson U., Maluszynski J. πŸ“‚ Library πŸ“… 2000 🌐 English βš– 2 MB
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