Declarative control of the future home environment.

In this paper, we show how declarative rules, and declarative programming, are used to control a complex, heterogeneous system where rules from disparate sources must interoperate. We show how imperative codes can be automatically generated from declarative rules to bind with the resources in the execution environment. Our approach shows how declarative programming can be used to effectively compose disparate systems together. We apply our approach to the control and co-ordination of home devices.