题名:	PROLOG逻辑程序设计及应用 / 周立柱著 ,
ISBN:	7-302-00800-0 价格：
中图分类法:	TP312PR 版次：
索书号:	TP312PR/7704