Prolog是一種邏輯編程語言。它建立在邏輯學的理論基礎之上， 最初被運用于自然語言等研究領域。現已廣泛的應用在人工智能的研究中，可以用來建造專家系統、自然語言理解、智能知識庫等。

ProDT 是Eclipse的一個插件，用來開發 Prolog 語言的程序。