书目详细信息 : 逻辑程序语言及其实现技术