Text this: Constraint satisfaction in logic programming /