"Constraint-Based Intelligent Systems"