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