This book is concerned with the architecture and implementation of constraint engines The author's main contribution is that constraint services, such as search and combinators, are made programmable; this is achieved by devising computation spaces as simple abstractions for programming constraint services at a high level State-of-the-art озммц and novel search strategies such as visual interactive search and parallel search are covered This book is indispensable reading for anyone seriously interested in constraint technology. Составители:ISBN 3540433716.