Constraint satisfaction in logic programming / Pascal Van Hentenryck. - Van Hentenryck, Pascal (Logic programming, 1989)