How to make the knowledge base have the functions of automatical inference and maintenance has been a key problem existing in the design of the knowledge base that needs to be practical. and effective. We propose an automatical knowledge base inference and maintenance method based on default theory，and then we introduce a knowledge base inference and maintenanec system，which has been implemented on VAX-l1/780 machine in GKD-Prolog.