Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。同时它对一些通常的应用程序的编写也很有帮助。使用它能够比其他的语言更快速地开发程序，因为它的编程方法更象是使用逻辑的语言来描述程序。
Logic programming for .NET Prolog.NET is a full featured Prolog programming environment for the .NET Framework. It includes an enhanced compiler with language extensions and a code generator targeting Microsoft's Intermediate Language (MSIL) and int
