- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
有没有办法配置 YAP(和/或 SWI prolog),以便它们在对 term_to_atom/2
的任何调用中保留变量名称?。
例如,当我执行此操作时:
term_to_atom(member(X, [1,2]), A).
我得到这个答案:
A = 'member(_131405,[1,2])'
其中 X
已被其内部表示替换。
但是,我想得到这个答案:
A = 'member(X,[1,2])'
感谢您的帮助!
最佳答案
涉及两个问题。如何将变量名 X
获取到系统中,以及如何将具有此类变量的术语获取到原子中。
您输入的X
由顶层读取,并将其转换为没有关联名称的常规变量。让我们在 YAP 中看看:
?- read(Term).
|: X+3*Y+X.
Term = _A+3*_B+_A
|:
是YAP的输入提示。我们输入了 X+3*Y+X。
但是,变量 Term
包含 _A
和 _B
(由顶层选择的名称)代替 X
和 Y
。所以一旦被read/1读取到,信息就丢失了并且无法恢复。
您必须使用更通用的内置读取 read_term/2,3
和选项 variable_names/1
来访问该信息。
?- read_term(T,[variable_names(Eqs)]).
|: X+3*Y+X.
Eqs = ['X'=_A,'Y'=_B],
T = _A+3*_B+_A
因此读取选项variable_names/1
为您提供了恢复变量名称的信息。对于 read_term/2
读取的每个命名变量,都有一个结构 Name = Variable
,其中 Name 是表示变量名称的原子。上面,'X'
是名字大写的 X。
匿名变量,即名称为_
的变量,不会出现在变量名称列表中。它们可以像这样快速提取:
?- read_term(T,[variable_names(Eqs)]),
term_variables(Eqs, Named),
term_variables(Named+T, Vars),
append(Named, Anons, Vars).
阅读就这么多。
现在开始写作。我们不能直接写出该术语,而是必须将其与列表 Eqs
一起使用。我们将新谓词称为 term_to_atom(Term, Eqs, Atom)
。在 YAP 和 SWI 中都有 with_output_to(Output, Goal)
它将 Goal
的输出写入不同的目的地,例如 atom(A)
。因此,您现在可以使用 write_term/2 随意编写该术语。一个例子:
?- with_output_to(atom(A),write_term('a b'+X,[quoted(true)])).
A = '\'a b\'+_131284'.
变量_131284看起来非常难看。要获取与其名称关联的变量以进行打印,我们可以实现 term_to_atom/3
,如下所示:
term_to_atom(T, Eqs, A) :-
with_output_to(atom(A), write_term(T,[variable_names(Eqs),quoted(true)]) ).
像这样使用它:
?- read_term(T,[variable_names(Eqs)]), term_to_atom(T, Eqs, Atom).
|: X+3*Y+X.
Atom = 'X+3*Y+X',
Eqs = ['X'=_A,'Y'=_B],
T = _A+3*_B+_A
variable_names/1
exists as a write option ISO、Minerva、Jekejeke、GNU、B、SWI、YAP 和 SICStus。
在 SICStus(将术语写入列表的创始人)中,有人写道:
:- use_module(library(codesio)).
term_to_atom(T, Eqs, Atom) :-
write_term_to_codes(T, Codes, [variable_names(Eqs),quoted(true)]),
atom_codes(Atom, Codes).
以下是 6.3.4 之前的 YAP 的 ISO 不兼容解决方法。不再需要了。至于与单独写入选项的差异:下面定义的 term_to_atom/3
会干扰约束,并且无法正确渲染 '$VAR'/1
。
But for the moment we can only approximate the ideal option
variable_names/1
. To print terms with our own variable names, variables have to be substituted in YAP by'$VAR'(Codes)
whereCodes
is a list of character codes. This does not do exactly the same, but it is very close. This goes into a file::- use_module(library(apply)).
:- use_module(library(lambda)).
write_eqs_term(T, Eqs) :-
\+ \+ (
maplist(\Eq^( Eq = (N='$VAR'(Chs)), atom_codes(N,Chs)), Eqs),
write_term(T,[numbervars(true),quoted(true)])
).
term_to_atom(T, Eqs, A) :-
with_output_to(atom(A), write_eqs_term(T, Eqs) ).For SWI, you would have to replace
atom_codes(N,Chs)
byN = Ch
. and installlibrary(lambda)
first. It's pre-installed in YAP.
关于prolog - 将术语转换为原子并在 YAP prolog 中保留变量名称,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/7947910/
仅使用POSIX shell 的特性,是否有一个“简单命令”,它什么也不做,也不改变$? 的值。人们通常描述:作为 shell 的无操作命令,但这总是设置 $?为零,所以这不是我想要的。 这是生成 s
我需要保留当前的 GlBlendFunc 以便在我做一些工作后可以恢复它。似乎这不是可以用 GLPushAttrib 保存的属性之一,还有其他类似的方法可以用来保存状态吗? 最佳答案 glGet与
我目前正致力于创建 Fuseki 三重存储浏览器的项目。我需要可视化 TripleStore 中的所有数据并使应用程序可浏览。唯一的问题是 QuerySolution 遗漏了三元组中的“”。 如果我使
我知道没有必要保留委托(delegate),以避免保留循环。我在一次采访中碰巧遇到了一个问题,“如果保留了 appDelegate 会怎样?”。我对此没有答案,并根据我的知识在这里寻求答案。谢谢 最佳
我正在用 C 编写第一个更严肃的程序,但我陷入了困境。我需要将此列表排序为不同的单独文件,因此它看起来像这样: BE30B Berlin 2014-04-02 Gale 02 BE30B Berlin
我有 4 个页面,我使用 ajax 和 historyPopState 在它们之间进行更改。但是有一个问题,因为页面非常不同,它们使用不同的样式表和脚本。我可以一遍又一遍地下载它们,但我想问一下是否有
我有一个表单,其中包含从一个表创建的多行(与其他表没有关系)。当我保存表单时,我所做的每项更改都会保存,但数据库中确实有一个额外的空行。请参阅下文(希望)了解所有必要的信息。 PropertyAddi
我正在编写一个可以在 Canvas 上绘制气泡的应用程序。我有 MainActivity,它的布局是一个简单的 LinearLayout,我将其用作 fragment 的容器。当我在 Canvas 上
我想弄清楚为什么我通过这段代码得到 EXC_BAD_ACESS。我没有线索。谁能帮帮我。 - (void)loadJsonFile:(NSString*)fileName { NSError
我正在编写一个代码,它将遍历单词中的每个单词,在字典中查找它们,然后将字典值附加到计数器。但是,如果我打印计数器,我只会从我的 if 语句中获取最后一个数字(如果有的话)。如果我将 print cou
抱歉,标题有点困惑。 我想隐藏这些选择选项,只在用户选择按钮时显示。一旦用户选择了一个按钮,我希望选择字段将继续显示......但是如果用户选择了不同的按钮,我想从以前的选择中重置所选的选项并炫耀。
>>> t = "first%s\n" >>> t = t %("second") >>> print t firstsecond 无论如何我可以保留最后的“\n”并得到“firstsecond\n”
我试图弄清楚如何更改 if 语句中的变量并使其保持全局不变。 用户输入:!change Hi var A = "Hello" if (msg.content.includes ('!change'))
您好,我有一个关于在重新创建 Activity 时保留 fragment 的问题。我听说一种方法是在 onCreate 方法中使用 setRetainFragment(true) 。问题是——这与跟踪
我想知道是否有人可以帮助我解决下面代码中的内存管理问题。我对 rootController 特别感兴趣,它是在我执行 initWithRootViewController 时被保留还是在窗口 addS
我想确保我在这里正确理解了内存管理。是否有任何特殊原因在这里使用其中一种 assignCurrentDate 方法而不是另一种方法?此外,所有这些都不会导致内存泄漏,对吗? 在 .h 中我们有: NS
我对 Angular2 删除尾部斜杠有疑问。我已经设置了我的 dotnet 核心应用程序来添加它们,但是一旦加载了 js,它们就会被删除。 在 Angular2 中甚至可能吗? (我的客户需要它,所以
local_settings.py 反模式的原因之一是把 SECRET_KEY, AWS设置文件中的键等值有问题: secret 通常应该是这样的: secret !将它们保存在版本控制中意味着拥有存
import('./A'); import('./B'); import('./C'); export class Person {}; A、B 和 C 是纯 JS (es5) 库,它们使用全局 wi
df 是一个测试数据框,其中我只想保留 Hits 列中包含 | 字符的行和行其中包含 hits(即 Hit1、Hit2 等)以及 Hits 列中的空白单元格。 df 从开始 (^) 到结束 ($)
我是一名优秀的程序员,十分优秀!