Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Standard view
Full view
of .

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
Deﬁnite Logic Programs
2.1 Deﬁnite Clauses
2.2 Deﬁnite Programs and Goals
2.3 The Least Herbrand Model
2.4 Construction of Least Herbrand Models
SLD-Resolution
3.1 Informal Introduction
3.2 Uniﬁcation
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 Deﬁnite 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 Diﬀerence 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 Deﬁnite 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-uniﬁcation
13.2 More on E-uniﬁcation
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:
P. 1
bok

# bok

Ratings: (0)|Views: 24|Likes:

### Availability:

See more
See less

10/15/2014

pdf

text

original

Pages 6 to 117 are not shown in this preview.
Pages 123 to 127 are not shown in this preview.