Abstract: The inference mechanism of the Fully-Prolog system is introduced at first in this paper,then the α-β pruning algorithm is applied to optimizing the inference process of the Fuzzy-Prolog system,and the implemented α-β pruning algorlthm is described in detail at last.