What's a good Prolog IDE for Linux? [closed]
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.
SWI-Prolog comes with excellent IDE tools, an Emacs-clone text editor, interactive debugger, complete browseable help system and docs. Give it a try.