Download An Introduction to Constraint (Logic) Programming Using ECLiPSe

Outline
ECLi PSe CLP
Stefano
Benedettini
Scope and
Motivations
Prolog as a
Constraint
Solver
ECLi PSe
Extensions to
Prolog
1
Prolog as a Constraint Solver
2
ECLi PSe Extensions to Prolog
Syntactic Facilities
Iteration Constructs
Modules
3
Constraint Satisfaction with ECLi PSe
The Interval Constraints Library: ic
Search and Optimization with ECLi PSe
Other Constraint Libraries
Syntactic Facilities
Iteration Constructs
Modules
Constraint
Satisfaction
with ECLi PSe
The Interval
Constraints Library:
ic
Search and
Optimization with
i
e
ECL PS
Other Constraint
Libraries