题名	责任者	出版社	索书号
Prolog逻辑程序设计及应用	周立柱著	清华大学出版社	TP312PR/8
Visual Prolog语言教程	雷英杰等编著	陕西科学技术出版社	TP312PR/14