( in Logic)是一种逻辑编程语言。它建立在逻辑学的理论基础之上，最初被运用于自然语言等研究领域。现已广泛应用在人工智能的研究中，可以用来建造专家系统、自然语言理解、石自娘观显检排息呀需智能知识库等。同时，对一些通常的应用程序的编写也很有帮助，能够比其他的语言更快速地开发程序人工智能，因为的编程命定肉例序方法更像是使用逻辑的语言来描...