Construct an object-oriented constraint logic for explanation based learning

Object-oriented constraint logic is a powerful paradigm combining constraint and structured knowledge representation. A prototype of such a logic and its application in explanation based learning is presented. The distinct feature of the proposed logic is its ability to use efficient constraint solving techniques together with the semantics modeled by an object-oriented language. It not only allows deliberate meta-reasoning about the knowledge in the domain theory but also facilitates finding explanation structures that yield conceptual definitions which are both operational and maximally general