Programming in Prolog Using the ISO Standard

ISBN-10: 3540006788
ISBN-13: 9783540006787
Edition: 5th 2003 (Revised)
List price: $42.95 Buy it from $13.53
This item qualifies for FREE shipping

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

30 day, 100% satisfaction guarantee

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy

Description: Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time  More...

New Starting from $46.18
what's this?
Rush Rewards U
Members Receive:
coins
coins
You have reached 400 XP and carrot coins. That is the daily max!
You could win $10,000

Get an entry for every item you buy, rent, or sell.

Study Briefs

Limited time offer: Get the first one free! (?)

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

Add to cart
Study Briefs
Periodic Table Online content $4.95 $1.99
Add to cart
Study Briefs
SQL Online content $4.95 $1.99
Add to cart
Study Briefs
MS Excel® 2010 Online content $4.95 $1.99
Add to cart
Study Briefs
MS Word® 2010 Online content $4.95 $1.99

Customers also bought

Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading
Loading

Book details

List price: $42.95
Edition: 5th
Copyright year: 2003
Publisher: Springer
Publication date: 7/25/2003
Binding: Paperback
Pages: 300
Size: 6.00" wide x 9.00" long x 0.75" tall
Weight: 0.946
Language: English

Originally published in 1981, this was the first textbook on programming in the Prolog language and is still the definitive introductory text on Prolog. Though many Prolog textbooks have been published since, this one has withstood the test of time because of its comprehensiveness, tutorial approach, and emphasis on general programming applications. Prolog has continued to attract a great deal of interest in the computer science community, and has turned out to be a basis for an important new generation of programming languages and systems for Artificial Intelligence. Since the previous edition of Programming in Prolog, the language has been standardised by the International Organization for Standardization (ISO) and this book has been updated accordingly. The authors have also introduced some new material, clarified some explanations, corrected a number of minor errors, and removed appendices about Prolog systems that are now obsolete.

Tutorial Introduction
Prolog
Objects and Relationships
Programming
Facts
Questions
Variables
Conjunctions
Rules
Summary and Exercises
A Closer Look
Syntax
Constants
Variables
Structures
Characters
Operators
Equality and Unification
Arithmetic
Summary of Satisfying Goals
Successful satisfaction of a conjunction of goals
Consideration of goals in backtracking
Unification
Using Data Structures
Structures and Trees
Lists
Recursive Search
Mapping
Recursive Comparison
Joining Structures Together
Accumulators
Difference Structures
Backtracking and the "Cut"
Generating Multiple Solutions
The "Cut"
Common Uses of the Cut
Confirming the Choice of a Rule
The "cut-fail" Combination
Terminating a "generate and test"
Problems with the Cut
Input and Output
Reading and Writing Terms
Reading Terms
Writing Terms
Reading and Writing Characters
Reading Characters
Writing Characters
Reading English Sentences
Reading and Writing Files
Opening and closing streams
Changing the current input and output
Consulting
Declaring Operators
Built-in Predicates
Entering New Clauses
Success and Failure
Classifying Terms
Treating Clauses as Terms
Constructing and Accessing Components of Structures
Affecting Backtracking
Constructing Compound Goals
Equality
Input and Output
Handling Files
Evaluating Arithmetic Expressions
Comparing Terms
Watching Prolog at Work
More Example Programs
A Sorted Tree Dictionary
Searching a Maze
The Towers of Hanoi
Parts Inventory
List Processing
Representing and Manipulating Sets
Sorting
Using the Database
Random
Gensym
Findall
Searching Graphs
Sift the Two's and Sift the Three's
Symbolic Differentiation
Mapping Structures and Transforming Trees
Manipulating Programs
Bibliographic Notes
Debugging Prolog Programs
Laying out Programs
Common Errors
The Tracing Model
Tracing and Spy Points
Examining the Goal
Examining the Ancestors
Altering the Degree of Tracing
Altering the Satisfaction of the Goal
Other Options
Summary
Fixing Bugs
Using Prolog Grammar Rules
The Parsing Problem
Representing the Parsing Problem in Prolog
The Grammar Rule Notation
Adding Extra Arguments
Adding Extra Tests
Summary
Translating Language into Logic
More General Use of Grammar Rules
The Relation of Prolog to Logic
Brief Introduction to Predicate Calculus
Clausal Form
A Notation for Clauses
Resolution and Proving Theorems
Horn Clauses
Prolog
Prolog and Logic Programming
Projects in Prolog
Easier Projects
Advanced Projects
Answers to Selected Exercises
Clausal Form Program Listings
Writing Portable Standard Prolog Programs
Standard Prolog for Portability
Different Prolog Implementations
Issues to Look Out For
Definitions of some Standard Predicates
Character Processing
Directives
Stream Input/Output
Miscellaneous
Code to Support DCGs
DCG Support Code
Index

×
Free shipping on orders over $35*

*A minimum purchase of $35 is required. Shipping is provided via FedEx SmartPost® and FedEx Express Saver®. Average delivery time is 1 – 5 business days, but is not guaranteed in that timeframe. Also allow 1 - 2 days for processing. Free shipping is eligible only in the continental United States and excludes Hawaii, Alaska and Puerto Rico. FedEx service marks used by permission."Marketplace" orders are not eligible for free or discounted shipping.

Learn more about the TextbookRush Marketplace.

×