书目详细信息 : 逻辑程序设计语言Prolog--基础、原理、实现和应用