我正在尝试在 SWI-Prolog 实现一个简单的 switch 语句宏。 这是一系列条件语句： (X = a -> Output = case1; X = b -> Output = case2; X = c -> Output = case3)...

（我只是通过swi-prolog和yap间接使用GMP库。但我非常有兴趣解决这个问题。） 当使用荒谬的大数进行指数运算时，主机系统或GMP不再能够适当地处理溢出。我已经与上述系统的开发人员交谈过，但他们认为这不容易修复。 其他GMP系统/用户是否知道这个问题？你们如何处理这样的溢出？ 首...

我正在构建一个相对简单的程序来收集和排序用户输入的数据。我想使用通过Web浏览器运行的本地服务器，有两个原因: HTML表单是收集所需输入的简单有效的方式。 我希望能够离线运行程序，而不必管理访问远程服务器涉及的安全风险。 编辑: 为了澄清，我的意思是该应用程序只能从本地网络访问，而不...

我正在使用 SWI-Prolog，想要打印一个列表，但是如果列表有超过9个项目——它看起来像这样——[1, 15, 8, 22, 5, 19, 12, 25, 3|...] 有没有一种方法可以显示整个列表？

简单示例： ?- between(1,10,X). X = 1 ; X = 2 ; X = 3 ; X = 4 ; X = 5 ; X = 6 ; X = 7 ; X = 8 ; X = 9 ; X = 10. 当使用SWI-Prolog并使用REPL查看下一个答案时，需要按下空格键。 ...

我正在编写一个 Prolog 查询的部分求值器。我尝试使用 expand_goal/2 来扩展查询，但这种情况下它只是将 Input 与 Output 统一起来： :- initialization(main). main :- Input=is_between(1,A,3),exp...

我很难在我的Mac上运行SWI-prolog。当我输入以下命令时： /opt/bin/local/swipl 我收到一个错误提示：/opt/local/bin/swipl: No such file or directory 当我只输入"swipl"时，我得到：swipl: command ...

我想知道是否存在一种工具，可以绘制Prolog程序的逐步搜索树？谢谢。

我希望看到(SWI)Prolog被推广为一个重要的NoSQL竞争对手。 (SWI)Prolog具有出色的数据绑定功能，拥有处理大数据的强大能力。最近，PLGI贡献使编写复杂的Gnome GUI变得非常容易... NoSQL同行们最期望的功能是什么？RDF的反应式CRUD听起来如何？ 我已经...

我对于玩和尝试使用Prolog语言有兴趣，我已经安装了SWI-Prolog并添加了仓库。如果有人对我使用的命令感兴趣的话，这是它们: % sudo apt-add-repository ppa:swi-prolog/stable % sudo apt-get update % sudo ap...