𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Logic, programming and prolog

✍ Scribed by Ulf Nilsson, Jan Mauszynski

Publisher
John Wiley & Sons Inc
Year
1995
Tongue
English
Leaves
294
Edition
2 Sub
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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 in a continually evolving field and includes such topics as concurrency and equational and constraint logic programming.

πŸ“œ SIMILAR VOLUMES

Logic, programming and Prolog
πŸ“ Logic, programming and Prolog
✍ Nilsson U., Maluszynski J. πŸ“‚ Library πŸ“… 1995 πŸ› Wiley 🌐 English

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 πŸ› Wiley 🌐 English

Found within the confines of these pages is a well-written monograph that provides an intuitive account of both the foundations of logic programming and simple programming techniques in Prolog. Only the most important areas of logic programming are considered. The book covers foundations, programmin

Logic, programming and Prolog (Errata)
πŸ“ Logic, programming and Prolog (Errata)
✍ Ulf Nilsson, Jan Mauszynski πŸ“‚ Library πŸ“… 1995 πŸ› Wiley 🌐 English

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

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 o

Logic Programming with Prolog
πŸ“ Logic Programming with Prolog
✍ Max Bramer πŸ“‚ Library πŸ“… 2005 πŸ› Springer 🌐 English

<P>Written for those who wish to learn Prolog as a powerful software development tool, but do not necessarily have any background in logic or AI.</P> <P>Includes a full glossary of the technical terms and self-assessment exercises.</P>