Tools of universal interactive logical inference, Tuili in short, is a new style artificial intelligence language, it can do reasoning in different directions using various search strategies. It is very convenient to use Tuili for building expert systems and other knowledge-based systems quickly. In this paper, we will present the implementation techniques which are used in the implementation of Tuili.