书目详细信息 : PROLOG程序设计及其应用