Abstract:Method and method inheritance are the kernel concepts of object-oriented. This paper introduces the concept and definition of methods in CDOL(constraint deductive object language). Methods are defined by rules. They are used as interface of objects, but they can also be used to achieve abstraction of computation and sharing. The inheritance and polymorphism of methods can be realized through typing and unification.