CSE583: Programming Languages
Two weeks: logic and constraint logic programming paradigms
Constraint Logic Programming
Importance of Constraint Logic Programming
Tonight
Prolog example
How many search steps?
The problem is…
Speeding up the earlier example: reordering conjuncts
CLP
Solvers
CLP does “more”
A CLP(R) example
The example in CLP(R): replace is with =
Furthermore
Fibonacci: Prolog vs. CLP(R)
Slides
Constraints
Satisfiability
Constraints: syntactic issues
Equivalent Constraints
Modeling with constraints
Modelling with constraints
Constraint Satisfaction
Gauss-Jordan elimination
Gauss-Jordan Example 1
PPT Slide
Solved Form
Tree Constraints
Tree Examples
Terms
Term Examples
Tree Constraint Solving
Tree Solving Example
One extra case
Other Constraint Domains
Boolean Constraints
Boolean Solver
Blocks World Constraints
Solver Definition
Properties of Solvers
Constraints Summary
Simplification, Optimization and Implication
Constraint Simplification
Redundant Constraints
Solved Form Solvers
Projection
Constraint Simplifiers
Optimization
Optimization Problem
Optimization Example
Simplex Algorithm
Simplex Example
Simplex Solved Form
Another example
Implication and Equivalence
Implication Example
Simplication, Optimization and Implication Summary
Some more CLP(R) examples
Rules
Using Rules
Modeling
Modelling Example
Modeling Example Cont.
More Complicated Model
Options Trading
Modeling Functions
Modeling Options
Using the Model
Wrap up
Domains
Next week
Email: notkin@cs.washington.edu
Home Page: http://www.cs.washington.edu/education/courses/583
Download presentation source