Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
2Activity

Table Of Contents

FOUNDATIONS
Preliminaries
1.1 Logic Formulas
1.2 Semantics of Formulas
1.3 Models and Logical Consequence
1.4 Logical Inference
1.5 Substitutions
Exercises
Definite Logic Programs
2.1 Definite Clauses
2.2 Definite Programs and Goals
2.3 The Least Herbrand Model
2.4 Construction of Least Herbrand Models
SLD-Resolution
3.1 Informal Introduction
3.2 Unification
3.3 SLD-Resolution
3.4 Soundness of SLD-resolution
3.5 Completeness of SLD-resolution
3.6 Proof Trees
Negation in Logic Programming
4.1 Negative Knowledge
4.2 The Completed Program
4.3 SLDNF-resolution for Definite Programs
4.4 General Logic Programs
4.5 SLDNF-resolution for General Programs
4.6 Three-valued Completion
4.7 Well-founded Semantics
5.1 Cut: Pruning the SLD-tree
5.2 Built-in Arithmetic
PROGRAMMING IN LOGIC
Logic and Databases
6.1 Relational Databases
6.2 Deductive Databases
6.3 Relational Algebra vs. Logic Programs
6.5 Special Relations
6.6 Databases with Compound Terms
7.2 Lists
7.3 Difference Lists
8.1 What is a Meta-language?
8.2 Ground Representation
8.4 The Built-in Predicate clause/2
8.5 The Built-in Predicates assert{a,z}/1
8.6 The Built-in Predicate retract/1
Logic and Expert Systems
9.1 Expert Systems
9.2 Collecting Proofs
9.3 Query-the-user
9.4 Fixing the Car (Extended Example)
Logic and Grammars
10.1 Context-free Grammars
10.2 Logic Grammars
10.3 Context-dependent Languages
10.4 Definite Clause Grammars (DCGs)
10.5 Compilation of DCGs into Prolog
Searching in a State-space
11.1 State-spaces and State-transitions
11.2 Loop Detection
11.3 Water-jug Problem (Extended Example)
11.4 Blocks World (Extended Example)
11.5 Alternative Search Strategies
12.1 Algorithm = Logic + Control
12.2 And-parallelism
12.3 Producers and Consumers
12.4 Don’t Care Nondeterminism
12.5 Concurrent Logic Programming
Logic Programs with Equality
13.1 Equations and E-unification
13.2 More on E-unification
13.3 Logic Programs with Equality
Constraint Logic Programming
14.1 Logic Programming with Constraints
14.2 Declarative Semantics of CLP
14.3 Operational Semantics of CLP
14.4 Examples of CLP-languages
15.1 Naive Evaluation
15.2 Semi-naive Evaluation
15.3 Magic Transformation
15.4 Optimizations
A.1 Foundations
A.2 Programming in Logic
A.3 Alternative Logic Programming Schemes
B.1 Sets
B.2 Relations
B.3 Functions
0 of .
Results for:
No results containing your search query
P. 1
bok

bok

Ratings: (0)|Views: 24|Likes:
Published by borat1451

More info:

Published by: borat1451 on Oct 11, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

10/15/2014

pdf

text

original

You're Reading a Free Preview
Pages 6 to 117 are not shown in this preview.
You're Reading a Free Preview
Pages 123 to 127 are not shown in this preview.
You're Reading a Free Preview
Pages 133 to 150 are not shown in this preview.
You're Reading a Free Preview
Pages 156 to 282 are not shown in this preview.
You're Reading a Free Preview
Pages 288 to 294 are not shown in this preview.

Activity (2)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->