The contraint operator in the medlan language

A declarative mediator language. based upon operations among logic theories is presented. In particular in this paper we concentrate on the contraint operator. The denotational semantics of the language is introduced while we concentrate on the definition of a bottom-up efficient implementation that is proved correct with respect to the given semantics.