An Introduction to Logic Programming Through Prolog (J. M. Spivey)

 
0.0 (0)
An Introduction to Logic Programming Through Prolog (J. M. Spivey)

This is one of the rare texts that integrates three key ideas in the study of logic programming: the logic that gives logic programs their distinct character; the practice of efficiently employing the logic in programming; and the practical use of logic programming on computers.

The book begins with a brief and self-contained explanation of the logic underlying Prolog programming, followed by a gentle introduction to logic programming using several straightforward examples. This prompts a debate on how to create programs in a way that makes the process of drawing solutions from them as effective as feasible. The methods are demonstrated using real-world applications, and the book's concluding section illustrates how logic programming can be implemented effectively.

It contains the source code for a compact yet thorough Pascal implementation of Prolog. The implementation, is accessible online and is capable of running all the programs described in the book.

Ebook Details

Author(s)
Publisher
Published
Published Date / Year
1 edition (April 1996); eBook (November 22, 2008)
Hardcover
251 pages
eBook Format
PDF (258 Page, 1.4 MB)
ISBN-10
0135360471
ISBN-13
978-0135360477

Similar Programming & Computer Books

Traité de programmation en Common Lisp - Treaty of programming in Common Lisp (Robert Strandh, et al)
This free programming book is intended for graduate students in computer science. It can contribute to the support of several lessons, for example: an introductory...
Introduction à la programmation en Common Lisp - Introduction to programming in Common Lisp (Francis Leboutte)
This free programming guide is written with both Common Lisp beginners and programming beginners in mind; there are no requirements for reading it. Only a small portion of Common...
Tcl/Tk Tutorial (Tutorials Point)
A multi-paradigm, general-purpose system programming language is Tcl. It is a scripting language with the goal of enabling apps to speak to one another. ...
Mastering Perl/Tk (Steve Lidie, et al)
Perl/Tk is a strong programming language that combines the Tk graphical toolkit with Perl, which is mostly used for system management, web development, and database processing. With Perl/Tk, you...
Tcl/Tk for Programmers: With Solved Exercises that Work with Unix and Windows (J. Adrian Zimmer)
The gaps between introductions, thorough manuals, and collections of scripts that address specific issues are filled by this introduction to Tcl/Tk. On both Windows and Unix platforms, there are...
Tcl Programming (Richard Suchenwirth)
This free programming book provides a thorough introduction to the that begins with the fundamentals before broadening its focus to cover the more complex ideas, features, and programming idioms...
Dictionary of Programming Languages (Neal Ziring)
The Dictionary of Programming Languages is an online reference guide to computer coding techniques put together to educate and enhance your understanding of computer science history. Over 120 words...
Greasemonkey Hacks: Tips & Tools for Remixing the Web with Firefox (Mark Pilgrim)
For hardcore users who wish to learn Greasemonkey, the hottest new Firefox plugin that enables you to write scripts that modify the web pages you see, this book is...
A Beginner's Guide to Forth (J. V. Noble)
Programming languages of the past have nothing on the Forth programming language. It doesn't resemble C, Java, Pascal, Lisp, Python, etc. at all. ...
Thoughtful Programming and Forth (Jeff Fox)
This book was initially intended to be used in Forth programming classes, where students complete the exercises for each chapter on a computer. ...

Others Programming Books by Prentice Hall

A Java GUI Programmer's Primer (Fintan Culwin, et al)
The design and creation of Java artifacts with a graphical user interface are introduced in A Java GUI Programmer's Primer.  
Writing Bug-Free C Code: A Programming Style That Automatically Detects Bugs in C Code (Jerry Jongerius)
This free programming book explains a style of C programming that is based on data abstraction and run-time object verification. It also explains a method that produces code that...
JNDI API Tutorial and Reference: Building Directory-Enabled Java Applications (Rosanna Lee, et al)
This free programming book gives an overview of the Java Name and Directory InterfaceTM as well as an introduction to naming and directory technologies (JNDI). ...
Algorithms and Data Structures (Niklaus Wirth)
A new edition of the classic book Algorithms + Data Structure = Programs by Niklaus Wirth, creator of Pascal and Modula-2, has been released (PH, l975). The original book...
Category Theory for Computing Science (Michael Barr, et al)
This free programming book is a textbook on fundamental category theory that was developed with computing science scholars and students in mind. In the context of examples and applications...
Agile Principles, Patterns, and Practices in C# (Robert C. Martin, et al)
This free programming book quickly transitions from UML models to actual C# code while presenting a series of case studies to demonstrate the foundations of Agile development and Agile...
Speech and Language Processing (Dan Jurafsky, et al)
This draft substantially updates our new Chapter 11, which discusses BERT and fine-tuning, adds a section on softmax regression to the chapter on logistic regression, and corrects numerous other...
Natural Language Processing for Prolog Programmers (Michael A. Covington)
This book focuses on translating theories into useful strategies in order to bridge the gap for those who are familiar with Prolog but have little or no expertise in...
Problems on Algorithms, 2nd Edition (Ian Parberry, et al.)
Simply put, an algorithm is a step-by-step process for addressing a problem. As a programmer, the algorithms you'll use most frequently have already been identified, validated, and verified. ...
Industrial Strength C++: Rules and Recommendations (Mats Henricson, et al)
This book offers tried-and-true methods for utilizing and programming in the C++ object-oriented language in the form of simple-to-follow lists of rules and recommendations, operating under the premise that...
Assemblers and Loaders (David Salomon)
This thorough book begins with an introduction to one-pass and two-pass assemblers before covering the design and implementation of loaders.
Java, Java, Java: Object-Oriented Problem Solving (R. Morelli and R. Walde)
This tutorial uses a games-and-puzzles-first approach to Java programming, making it functional and adaptable.
Wireless Communications: Signal Processing Perspectives (H. V. Poor, et al)
Explains the most recent studies in the use of signal processing techniques in the context of current and upcoming wireless applications, such as wireless media, nomadic computing, and next-generation...
Algebra: Abstract and Concrete (Frederick M. Goodman)
While introducing students to the active practice of mathematics, this introduction to modern or abstract algebra covers the traditional themes of groups, rings, and fields with symmetry as a...
On Lisp: Advanced Techniques for Common Lisp (Paul Graham)
This detailed guide to Lisp's advanced features for seasoned programmers was written by a Lisp expert. It provides a special, useful collection of Lisp programming techniques that demonstrates how...
Computer Vision (Dana H. Ballard, et al)
This book offers a practical introduction to Python-based computer vision.
Thinking in Java, 4th Edition (Bruce Eckel)
Programmers from all around the world praise Thinking in Java for its exceptional clarity, meticulous organization, and concise, straightforward programming examples.
Computer and Network Organization (Maarten van Steen, et al)
This book gives a practical overview of the technical concepts of computer architecture, operating systems, and networks. This novel book describes how computer systems truly function, in contrast to...
UML for Java Programmers (Robert Cecil Martin)
The industry standard for communicating software designs is now the Unified Modeling Language. As the preferred language for serious application developers, Java's popularity is only continuing to rise. ...
Java, Java, Java: Object-Oriented Problem Solving (R. Morelli, et al)
This tutorial uses a games-and-puzzles-first approach to Java programming, making it functional and adaptable.

User reviews

There are no user reviews for this listing.
Ratings
Rate this Book
Comments