Computing With Logic: Logic Programming
β David Maier, David S. Warren
π Library
π
1988
π AW
π English
β¦ LIBER β¦
π
Logic Programming With Prolog
β Scribed by Max Bramer
- Publisher
- Springer
- Year
- 2005
- Tongue
- English
- Leaves
- 229
- Edition
- 1st Edition.
- Category
- Library
β¬ Acquire This Volume
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; itis 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 scratchand aims to take the reader to a point where they can soon write powerful programs in the language. Suitable both as an introductory textbookand 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
Computing With Logic: Logic Programming
β 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
β 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
β 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
β 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
β 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