Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我是 prolog 的新手,想尝试一些逻辑程序,我正在寻找一个不错的 prolog 解释器。有什么建议吗?
BProlog Eclipse SWI-Prolog SICStus Gnu-Prolog Visual Prolog
如果你想在没有安装的情况下玩耍
爱迪生
还有更多,但这些应该足够了。
Gprolog 和 sicstus prolog 是大的。另外,下次使用谷歌。
YieldProlog带来了一个有趣而独特的观点。
让我喜欢的是,使用它你可以在你的页面中嵌入逻辑程序(使用 JavaScript)......
OTOH,如果您需要调试逻辑,它并没有多大用处...