Next:
What is CLP
Computational Logic
Constraint Logic Programming Concepts
What is CLP
Constraints for Problem Solving
A General View
C
onstraints: High-level Problem Modelling
P
rogramming:
L
ogic
Be a Solver (I)
Be a Solver (II)
Be a Solver (III)
Don't Be a Solver
Syntax and Semantics of a Basic Language
A Basic Constraint Language
Facts
Clauses
Predicates
Programs
Making Queries
Searching (I)
Searching (II)
Logical Variables (I)
Logical Variables (II)
Adding Computation Domains: CLP Programs
What's in a Domain
Different Constraint Domains: What for?
Constraint Logic Programs
Datalog
Linear (Dis)Equations: CLP(
)
Interacting with CLP(
) (I)
Interacting with CLP(
) (II)
Programming with CLP(
) (I)
Programming with CLP(
) (II)
Finite Domains (I)
Finite Domains (II)
Finite Domains (III)
A Project Management Problem (I)
A Project Management Problem (II)
A Project Management Problem (III)
A Project Management Problem (IV)
A Project Management Problem (V)
Herbrand Terms
Herbrand Terms: Syntactic Equality
Constructing Data Structures
Constructing Data Structures
Constructing Data Structures
Constructing Data Structures
Constructing Recursive Data Structures
Constructing Recursive Data Structures
Constructing Recursive Data Structures
Constructing Recursive Data Structures: Lists
Constructing Recursive Data Structures: Lists
Constructing Recursive Data Structures: Lists
Constructing Recursive Data Structures: Trees
Data Structures in General
Logic Programming: Prolog
CLP in Practice
A More Involved Example
CLP Program Execution
A High-level view
Basic Operations of a Solver
Traversing Trees
Top-Down Operational Semantics (I)
Top-Down Operational Semantics (II)
Some Results
Pragmatics
Complex Constraints
Controlling the Control
Programming Tips
Some Real Systems (I)
Some Real Systems (II)
Last modification: Thu Oct 7 12:04:03 MEST 1999
<webmaster@clip.dia.fi.upm.es>
)
)
(I)
)
(II)
)
(I)
)
(II)
