swi-prolog 相关问题

clpfd 中具体化的剩余约束

我定义了具体化的变体 clpfd 约束 (#<)/2, (#=<)/2, (#>=)/2 和 (#>)/2： :- use_module(库(clpfd))。 ltA(X,Y,Truth) :- X #< Y #<==> B, bool01_truth(B,Tr...

如何在 Prolog 中对 html 属性值进行转义？

我在库（sgml）中找到了谓词 xml_quote_attribute/2 SWI-Prolog 的。该谓词适用于第一个参数 作为输入，第二个参数作为输出： ?- xml_quote_attribute(' 我在库（sgml）中找到谓词 xml_quote_attribute/2 SWI-Prolog 的。该谓词适用于第一个参数 作为输入，第二个参数作为输出： ?- xml_quote_attribute('<abc>', X). X = '&lt;abc&gt;'. 但我不知道如何进行反向转换。 例如，以下查询不起作用： ?- xml_quote_attribute(X, '&lt;abc&gt;'). ERROR: Arguments are not sufficiently instantiated 还有另一个谓词可以完成这项工作吗？ 再见 这就是 Ruud 的解决方案，使用 DCG 符号+推回列表/半上下文符号。 :- use_module(library(dcg/basics)). html_unescape --> sgml_entity, !, html_unescape. html_unescape, [C] --> [C], !, html_unescape. html_unescape --> []. sgml_entity, [C] --> "&#", integer(C), ";". sgml_entity, "<" --> "&lt;". sgml_entity, ">" --> "&gt;". sgml_entity, "&" --> "&amp;". 使用 DCG 使代码更具可读性。它还消除了一些多余的回溯，Cookie Monster 指出这是使用 append/3 的结果。 这是简单的解决方案，使用字符代码列表。它很可能不会为您提供最佳性能，但对于不是很长的字符串，它可能没问题。 html_unescape("", "") :- !. html_unescape(Escaped, Unescaped) :- append("&", _, Escaped), !, append(E1, E2, Escaped), sgml_entity(E1, U1), !, html_unescape(E2, U2), append(U1, U2, Unescaped). html_unescape(Escaped, Unescaped) :- append([C], E2, Escaped), html_unescape(E2, U2), append([C], U2, Unescaped). sgml_entity(Escaped, [C]) :- append(["&#", L, ";"], Escaped), catch(number_codes(C, L), error(syntax_error(_), _), fail), !. sgml_entity("&lt;", "<"). sgml_entity("&gt;", ">"). sgml_entity("&amp;", "&"). 您必须自己填写 SGML 实体列表。 输出示例： ?- html_unescape("&lt;a&gt; &#26361;&#25805;", L), format('~s', [L]). <a> 曹操 L = [60, 97, 62, 32, 26361, 25805]. 如果你不介意链接外部模块，那么你可以在C中进行非常高效的实现。 html_unescape.pl： :- module(html_unescape, [ html_unescape/2 ]). :- use_foreign_library(foreign('./html_unescape.so')). html_unescape.c： #include <stdio.h> #include <string.h> #include <SWI-Prolog.h> static int to_utf8(char **unesc, unsigned ccode) { int ok = 1; if (ccode < 0x80) { *(*unesc)++ = ccode; } else if (ccode < 0x800) { *(*unesc)++ = 192 + ccode / 64; *(*unesc)++ = 128 + ccode % 64; } else if (ccode - 0xd800u < 0x800) { ok = 0; } else if (ccode < 0x10000) { *(*unesc)++ = 224 + ccode / 4096; *(*unesc)++ = 128 + ccode / 64 % 64; *(*unesc)++ = 128 + ccode % 64; } else if (ccode < 0x110000) { *(*unesc)++ = 240 + ccode / 262144; *(*unesc)++ = 128 + ccode / 4096 % 64; *(*unesc)++ = 128 + ccode / 64 % 64; *(*unesc)++ = 128 + ccode % 64; } else { ok = 0; } return ok; } static int numeric_entity(char **esc, char **unesc) { int consumed; unsigned ccode; int ok = (sscanf(*esc, "&#%u;%n", &ccode, &consumed) > 0 || sscanf(*esc, "&#x%x;%n", &ccode, &consumed) > 0) && consumed > 0 && to_utf8(unesc, ccode); if (ok) { *esc += consumed; } return ok; } static int symbolic_entity(char **esc, char **unesc, char *name, int ccode) { int ok = strncmp(*esc, name, strlen(name)) == 0 && to_utf8(unesc, ccode); if (ok) { *esc += strlen(name); } return ok; } static foreign_t pl_html_unescape(term_t escaped, term_t unescaped) { char *esc; if (!PL_get_chars(escaped, &esc, CVT_ATOM | REP_UTF8)) { PL_fail; } else if (strchr(esc, '&') == NULL) { return PL_unify(escaped, unescaped); } else { char buffer[strlen(esc) + 1]; char *unesc = buffer; while (*esc != '\0') { if (*esc != '&' || !(numeric_entity(&esc, &unesc) || symbolic_entity(&esc, &unesc, "&lt;", '<') || symbolic_entity(&esc, &unesc, "&gt;", '>') || symbolic_entity(&esc, &unesc, "&amp;", '&'))) // TODO: more entities... { *unesc++ = *esc++; } } return PL_unify_chars(unescaped, PL_ATOM | REP_UTF8, unesc - buffer, buffer); } } install_t install_html_unescape() { PL_register_foreign("html_unescape", 2, pl_html_unescape, 0); } 以下语句将从 html_unescape.c 构建一个共享库 html_unescape.so。在 Ubuntu 14.04 上测试； Windows 上可能会有所不同。 swipl-ld -shared -o html_unescape html_unescape.c 启动SWI-Prolog： swipl html_unescape.pl 输出示例： ?- html_unescape('&lt;a&gt; &#26361;&#25805;', S). S = '<a> 曹操'. 特别感谢 SWI-Prolog 文档和源代码，以及 将 unicode 代码点转换为 UTF8 的 C 库？ 不希望成为最终答案，因为它没有给出 SWI-Prolog 的解决方案。对于基于 Java 的解释器来说，这个问题 XML 转义不是 J2SE 的一部分，至少不是简单的 表单（不知道如何使用 Xerxes 等）。 一个可能的途径是从 StringEscapeUtils ( * ) 接口 阿帕奇共享。但话又说回来，这对于 Android既然有一个类TextUtil。所以我们推出了自己的 ( * * ) 转换很少。其工作原理如下： ?- text_escape('<abc>', X). X = '&lt;abc&gt;' ?- text_escape(X, '&lt;abc&gt;'). X = '<abc>' 注意 Java 方法 codePointAt() 和 charCount() 的使用 分别是Java源代码中的appendCodePoint()。所以它 还可以转义和取消转义基本以上的代码点 平面，即在 >0xFFFF 的范围内（当前未实现， 留作练习）。 另一方面，Apache 库（至少 2.6 版）是 不知道代理对，并将在每个代理对中放置两个小数实体 代码点改为 1。 再见 ( * ) Java：类 StringEscapeUtils 源 http://grepcode.com/file/repo1.maven.org/maven2/commons-lang/commons-lang/2.6/org/apache/commons/lang/Entities.java#Entities.escape%28java.io.Writer ,java.lang.String%29

有没有一个程序可以绘制Prolog查询的搜索树？

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

为什么当第三个参数是未绑定变量时 arg/3 更快？

谓词 ksort/3 和 fksort/3 对键值对列表进行排序，其中 Key 是 1 到小整数 MaxKey 之间的值。 % 第一个版本 ksort(MaxKey, 列表, 已排序) :- 创建（MaxKey，桶）...

如何将我的 Java UI 连接到 JPL Prolog 应用程序？

我正在使用SWI-Prolog提供的JPL用Java编写一个应用程序，以从Java调用Prolog。 我使用 Eclipse 作为 IDE。我不知道如何开始我在网上找到的这个例子： 这里是java c...

无限循环中的 Prolog DCG，无需直接左递归

TLDR 我有一个常见的模式，总是陷入无限循环。 模式是 s([H|Rest]) --> non_letters、word(H)、non_letters、s(Rest)。 s([]) --> []。 我不能 100% 确定

Turbo Prolog：通过向列表添加最少数量的字符来创建回文

Turbo Prolog 上有一段代码可以从整个输入列表创建回文。 需要通过向列表中添加最少的字符来构建回文。 例如，我们输入了一个列表...

使用谓词检查 X 是否在列表中恰好出现四次的问题

我正在尝试编写一个谓词 fourExactly(X, List) 来检查变量 X 是否在列表中恰好出现四次。如果是这种情况，谓词应该为 true，如果不是，则谓词应该为 false。他...

我可以获取 swipl 命令的输出并使用 swi-prolog 将其设置为变量的值吗？

我正在尝试在 shell 和 swi-prolog 之间编写一个接口，所以我希望（最好）让文本一次一行出现，但我知道为什么这可能不可能。 Swi-prolog 有一个

如何从查询中返回通用公式？

所以在很多情况下，比如： 总和（X，Y，Z）：- Z#=X+Y。 您可以给出最通用的查询来返回通用解决方案： ?-summa(X, Y, Z)。 $VAR(X)+ $VAR(Y)#= $VAR(Z)。 我有一个公式涉及...

如何在Prolog中动态创建列表？

我已经查看了无数其他类似的问题，但我还没有找到可行的解决方案，所以我问这个： 我有一个规则： check_prime(X) :- X > 0， X0 为 X - 1， (X =:= ...

从属条件的 Prolog 语法

首先，我是 Prolog 新手，所以请对我宽容一些...另外，我正在使用 SWI-Prolog， 所以我想对 SWI 使用正确的语法。 在这种情况下，我想定义继父母（特别是继母...

Python 与 SWI-Prolog 接口

我想使用Python脚本作为使用SWI-PL引擎的Prolog程序的前端。 因此，该设置的组成部分是： Python（2.7 或更高版本） SWI-PL：网站在这里 我一直在找...

SWI-Prolog：[致命错误：找不到系统资源]

我正在尝试执行我使用 Prolog 的 Python 脚本。代码如下： 从 pyswip 导入 Prolog 序言 = 序言() prolog.consult("KB.pl") 打印（列表（序言.查询（“...

为什么 prolog 不显示 false，而是显示与特定常量相关的所有元素？

我在 Prolog 中有一个与家谱相关的程序，我必须在其中找到与某个人相关的所有兄弟姐妹。 我将规则“姐妹”定义为： 妹妹（X，Y）：- 父级（Z，X）， 父级（Z，...

用于 FOL 证明的 DCG LaTeX 打印机

以下SWI Prolog代码主要是Jens Ottens的leanseq.pl经典FOL证明器： % ------------------------------------------------- -------------------------------- % Leanseq.pl - 一个序列

语法错误：Prolog 中需要运算符

我正在 SWI Prolog 中编写一个小型解释器，并遇到以下问题：我需要编写一个谓词来确定逻辑表达式是否为真。我已经有一个谓词

使用 pyswip 查询 Prolog 文件时 SWI-Prolog 断言失败

我正在开发一个项目，使用 pyswip 将 SWI-Prolog 与 Python 集成。作为 Prolog 编程的新手，我在尝试查阅 Prolog 文件时遇到了断言失败......

prolog 代码中涉及数学函数任务的错误

% 计算阶乘的函数 阶乘(0, 1)。 阶乘（N，F）：- N1 为 N-1， 阶乘(N1, F1), F 是 N * F1。 % 计算函数近似值的函数...

在 SWI-Prolog 中记录交互式查询

我想拦截传递给交互式Prolog解释器的查询，以便进行一些额外的处理，例如记录查询。 到目前为止，我有以下依赖于