As mentioned you can use SWI-Prolog. If you like Eclipse there is an Eclipse plug-in that integrates SWI-Prolog into Eclipse. This way you have the best of both worlds, for example the SVN etc functions of Eclipse and the graphic debugger of SWI-Prolog. Worth checking out.
I just use Vim or jEdit. Prolog as a language doesn't really lend itself to strong IDE support. For one thing, it's dynamically typed, which throws a huge wrench into tooling. For another, it's a logic-based language, which means that the "code flow" (order in which you construct the program) is non-linear. Existing techniques for building highly advanced IDEs just don't apply to that sort of paradigm.
Honestly, I can't see an 'IDE' helping out much on prolog. It'll only aid in finding syntax errors. The rest is in the debugging and the thought process.
Get syntax-highlighting with any editor and you're set to go.
As mentioned you can use SWI-Prolog. If you like Eclipse there is an Eclipse plug-in that integrates SWI-Prolog into Eclipse. This way you have the best of both worlds, for example the SVN etc functions of Eclipse and the graphic debugger of SWI-Prolog. Worth checking out.
http://sewiki.iai.uni-bonn.de/research/pdt/start
I just use Vim or jEdit. Prolog as a language doesn't really lend itself to strong IDE support. For one thing, it's dynamically typed, which throws a huge wrench into tooling. For another, it's a logic-based language, which means that the "code flow" (order in which you construct the program) is non-linear. Existing techniques for building highly advanced IDEs just don't apply to that sort of paradigm.
Honestly, I can't see an 'IDE' helping out much on prolog. It'll only aid in finding syntax errors. The rest is in the debugging and the thought process.
Get syntax-highlighting with any editor and you're set to go.
If you are used to an Emacs environment I would recommend the Ciao distribution. Go to: http://ciaohome.org/
Visual Prolog (works with Wine).
SWI-Prolog comes with excellent IDE tools, an Emacs-clone text editor, interactive debugger, complete browseable help system and docs. Give it a try.