Ключевое слово: объектно-ориентированные сети ограничений