我在SWI-Prolog的库(sgml)中找到了一个谓词xml_quote_attribute/2。这个谓词的第一个参数是输入，第二个参数是输出：
?- xml_quote_attribute('<abc>', X).
X = '<abc>'.
但是我无法想象出如何进行相反的转化。 例如，以下查询不起作用：
?- xml_quote_attribute(X, '<abc>').
ERROR: Arguments are not sufficiently instantiated
还有其他能完成此任务的谓词吗？
再见
:- 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, "<" --> "<".
sgml_entity, ">" --> ">".
sgml_entity, "&" --> "&".
append/3导致的一些多余回溯，这是Cookie Monster指出的问题。epsilon --> [].就已经破坏了任何这样的属性。只有坚定不移的特性仍然存在。您可以（内部和透明地）检查第二个列表参数是否具有某种形式，但这必须是一种保守的检查。 - falsehtml_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("<", "<").
sgml_entity(">", ">").
sgml_entity("&", "&").
?- html_unescape("<a> 曹操", L), format('~s', [L]).
<a> 曹操
L = [60, 97, 62, 32, 26361, 25805].
char_code(a, 0'a)。 - falsesgml_entity/2更有效率，但我猜你不是这个意思。即使没有剪枝，sgml_entity/2似乎也是确定性的。可能是因为我对逻辑编程缺乏经验，所以我仍然无法发现这里缺乏坚定性。你能给出一个具体的例子吗？在这个例子中，错误的输出会强制我的谓词走上错误的路径？ - Ruud Heldermanhtml_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, "<", '<') ||
symbolic_entity(&esc, &unesc, ">", '>') ||
symbolic_entity(&esc, &unesc, "&", '&')))
// 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);
}
swipl-ld -shared -o html_unescape html_unescape.c
启动 SWI-Prolog：
swipl html_unescape.pl
样例输出：
?- html_unescape('<a> 曹操', S).
S = '<a> 曹操'.
并不把它作为终极答案，因为它不能解决SWI-Prolog的问题。对于基于Java的解释器，问题在于XML转义不是J2SE的一部分，至少不是以简单的形式存在（没有想出如何使用Xerxes或类似工具）。
一个可能的方法是与来自Apache Commons的StringEscapeUtils（*）接口。但是，在Android上这将是不必要的，因为有一个名为TextUtil的类。所以我们编写了自己的（**）小型转换。它的工作方式如下：
?- text_escape('<abc>', X).
X = '<abc>'
?- text_escape(X, '<abc>').
X = '<abc>'
( * * ) Jekejeke Prolog: 模块 xml
http://www.jekejeke.ch/idatab/doclet/prod/en/docs/05_run/10_docu/05_frequent/07_theories/20_system/03_xml.html