Abstract:That how to enable knowledge base to have the function of inference and maintenance automatically has been a key problem, which existed in the design of the knowledge base that wants to be practical and effective. In this paper, we propose an automatical knowledge base inference and maintenance method based on default inference at first, and then we introduce a knowledge base inference and maintenance system, which has been implemented on VAX-11/780 machine in GKD-Prolog.