Inference and CSPs
		¡ Solving a CSP via inference l Handles special constraints (e.g., AllDiff) l Can learn new constraints not expressed by KB designer ¡ Solving inference via CSP l Whether a query is true under all possible constraints (satisfiable) ¡ Melding the two: Constraint Logic Programming (CLP)