𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Computing With Logic: Logic Programming With Prolog

✍ Scribed by David Maier, David S. Warren

Publisher
AW
Year
1988
Tongue
English
Leaves
559
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Computing With Logic: Logic Programming
πŸ“ Computing With Logic: Logic Programming With Prolog
✍ David Maier, David S. Warren πŸ“‚ Library πŸ“… 1988 πŸ› AW 🌐 English

This text is appropriate for a senior or first-year graduate course on logic programming. It concentrates on the formal semantics of logic programs, automatic theorem- proving techniques, and efficient implementation of logic languages. It is also an excellent reference for the computer professi

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>

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

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. Includes a full glossary of the technical terms and self-assessment exercises.

Logic Programming with Prolog
πŸ“ Logic Programming with Prolog
✍ Max Bramer πŸ“‚ Library 🌐 English

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. Includes a full glossary of the technical terms and self-assessment exercises.

Logic Programming with Prolog
πŸ“ Logic Programming with Prolog
✍ Max Bramer BSc, PhD, CEng, FBCS, FIEE, FRSA, ILTM (auth.) πŸ“‚ Library πŸ“… 2005 πŸ› Springer London 🌐 English

<P>Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. By far the most widely used Logic Programming language is Prolog. Prolog is a good choice for developing complex applications, especially