THE META INTERPRETATION OF THE TYPED OBJECT ORIENTED LOGIC LANGUAGE LKO

This paper describes the meta interpretation of the typed object oriented logic language LKO, with emphasis on the inheritance algorithms for object state, constraint and method, and the unification algorithms for clause interpretation,type inference and type checking.