PROLOG语言中的一个逻辑问题

一、问题的提出 PROLOG语言是一种重要的逻辑型程序设计语言,它是以谓词演算为基础的,由于这种语言的独特风格和深远意义,已引起世界各国的广泛重视。但是,它还存在着若干不足之处,其中关于逻辑非(否定)的定义,就存在着严重的问题。