逻辑型程序设计语言PROLOG详细教程 第4页