Prolog是一种逻辑编程语言。它建立在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现已广泛的应用在人工智能的研究中，可以用来建造专家系统、自然语言理解、智能知识库等。

ProDT 是Eclipse的一个插件，用来开发 Prolog 语言的程序。