2011-05-03 28 views

回答

0

尝试CiaoDE加上GNU Emacs。 CiaoDE是一个先进的prolog系统,有许多库可以在OS X,Linux和Windows上运行。

+0

不适用于Mac OS X ... – 2011-05-04 09:44:49

+0

嗯,我在Linux和Mac OS X中都使用它。如果您在安装或使用它时需要一些帮助,请问我。 – tquimico 2011-05-05 13:52:29

1

有几个插件的可用于Eclipse,与prolog一起工作得非常好。 Theres是我们在Uni中使用的一个SICStus插件,虽然我不相信它是免费的,但在Eclipse Marketplace中还有一些其他选项(在帮助菜单下)