人工智能 一种逻辑编程语言

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

程序具有鲜明的练逻辑编程语言特色，包括:没有特定的运行顺序，其运行顺序是由计算机决定的人工智能，而不是编程序的人;程序中没有if、when、cas害染e、for这样的控制流程语句;程序和数据高度统一，其程序实际上是一个智能数据库;语言具有强大的递归功能。自1981年十雷架注确供绿罪特示日本政府宣布第5益观得型生征植希代计算机系统(FGCS)项目以为基础以来，已成为人工智能研究领域的主导语言。