"Programming with Constraints: An Introduction " - читать интересную книгу автора (Kimbal Marriott, Peter Stuckey)