刘滨海,闻烽,王剑琪,等.顺序PROLOG机KD-PP的系统结构和硬件实现技术[J].国防科技大学学报,1990,12(2):106-112.
Liu Binhai, Wen Feng, Wang Jianqi, et al. Architecture and Hardware Implementation Techniques of the Sequential PROLOG Machine: KD-PP[J]. Journal of National University of Defense Technology,1990,12(2):106-112.