Prolog中的`shift`/`reset`操作与其他编程语言有何相似之处？
我在这里找到了一个有关Haskell中的shift-reset限定延续的示例（链接）： resetT $ do alfa bravo x <- shiftT $ \esc -> do charlie lift $ esc 1 ...
Prolog列表成员，返回多个结果
我有一个确定列表成员的标准流程： member(X, [X|_]). member(X, [_|T]) :- member(X, T). 我不理解的是，当我提出以下查询时： ?- member(a,[a,b]). 结果是。 True; False. 我本以为当第一个规...
Python与SWI-Prolog的接口
我希望使用Python脚本作为前端来使用SWI-PL引擎的Prolog程序。 因此，设置的组件包括： Python（2.7或更高版本） SWI-PL：网站在这里 我一直在寻找SWI-PL和Python之间的接口。 我发现有以下几种方式: PySwip但从这里看到的旧问题来看，它似...
使用本地服务器为程序提供基于浏览器的图形用户界面会带来哪些安全风险？
我正在构建一个相对简单的程序来收集和排序用户输入的数据。我想使用通过Web浏览器运行的本地服务器，有两个原因: HTML表单是收集所需输入的简单有效的方式。 我希望能够离线运行程序，而不必管理访问远程服务器涉及的安全风险。 编辑: 为了澄清，我的意思是该应用程序只能从本地网络访问，而不...
在没有安装swipl的计算机上运行SWI-Prolog二进制文件
我想在一台没有安装prolog的机器上（实际上是服务器）运行swi-prolog程序。Prolog代码swipl_test.pl： main :- write('Hello, world\n'). 在本地机器上，使用 SWI-Prolog version 7.2.3 for amd64 制作二...
在swi-prolog和yap中结果不同
样例程序枚举并计算8皇后问题的解法数量。（如果代码难以阅读，很抱歉；这是从S表达式机器生成的。原始代码在https://www.cpp.edu/~jrfisher/www/prolog_tutorial/2_11.html）。 规则： [user]. (perm([X|Y],Z) :- ...
Prolog DCG语法规则中的堆栈溢出：如何高效或惰性地处理大型列表
我正在解析一个相当简单的文件格式，它由一系列行组成，每一行都有一些用空格分隔的字段，看起来像这样： l 0x9823 1 s 0x1111 3 l 0x1111 12 ⋮ 我正在使用SWI-Prolog。这是我目前的DCG： :- consult(library(pure_input)...
关闭swi-prolog中的警告提示
我如何关闭swi-prolog中的警告？Clauses of XXX/AA are not together in the source-file 非常令人讨厌。
Predsort/3 like msort/2
我希望您能够在不丢失重复值的情况下使用predsort/3，请问是否可行？如果不行，那么如何对这个术语列表进行排序？ 当前的排序函数： compareSecond(Delta, n(_, A, _), n(_, B, _)):- compare(Delta, A, B). ...