- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
问:在 SICStus Prolog 中,我们如何摆脱 maplist
的开销——比如 SWI 的 apply_macros
?
A:目标扩展。
首先,我们定义我们需要的辅助谓词。下面我们使用SICStus Prolog 4.5.0。
:- module(maplist_macros, [maplist/2, maplist/3, maplist/4, maplist/5, maplist/6, maplist/7, maplist/8, maplist/9]).:- meta_predicate maplist(1,?), maplist(2,?,?), maplist(3,?,?,?), maplist(4,?,?,?,?), maplist(5,?,?,?,?,?), maplist(6,?,?,?,?,?,?), maplist(7,?,?,?,?,?,?,?), maplist(8,?,?,?,?,?,?,?,?).:- use_module(library(lists), [append/2, same_length/2]).:- use_module(library(ordsets)).callable_arglists_appended(C0, New, C1) :- C0 =.. Parts0, append([Parts0|New], Parts1), C1 =.. Parts1.:- dynamic expand_goal_aux/1.my_expand_goal(Goal, Expanded) :- asserta((expand_goal_aux(Goal) :- Goal)), retract((expand_goal_aux(Goal) :- Expanded0)), strip_module(Expanded0, _, Expanded).strip_module(MGoal_0, Module, Goal_0) :- aux_strip_module(MGoal_0, Goal_0, lambda, Module). % lambda?!aux_strip_module(MG_0,G_0, M0,M) :- ( nonvar(MG_0), MG_0 = (M1:MG1_0) -> aux_strip_module(MG1_0,G_0, M1,M) ; MG_0 = G_0, M0 = M ).:- dynamic maplist_aux_count/1.maplist_aux_count(0).
Now on to the goal expansion:
% generate specialized `maplist/N'goal_expansion(Goal0, _Layout0, FromModule, FromModule:Goal, []) :- Goal0 =.. [maplist, Rel0 | Args], callable(Rel0), Args = [_|_], !, % get count # of aux preds generated so far and increment it retract(maplist_aux_count(C)), C1 is C+1, asserta(maplist_aux_count(C1)), % build predicate functor `AuxPred' number_chars(C, C_chars), atom_chars(C_atom, C_chars), atom_concat(maplist_aux_, C_atom, AuxPred), % e.g., maplist_aux_3 % enforce all relevant lists have the same length lists:maplist(same_length(Args), [Vars_E,Nils]), lists:maplist(lists:cons, Vars_E, Vars_Es, Vars_E_Es), lists:maplist(=([]), Nils), % expand the goal in the right module (`FromModule') strip_module(Rel0, _, Rel1), callable_arglists_appended(Rel1, [Vars_E], Rel2), my_expand_goal(FromModule:Rel2, Rel), % find out which variables need to be threaded through term_variables(Rel, Vars_Schema), list_to_ord_set(Vars_Schema, VSet_Schema), list_to_ord_set(Vars_E, VSet_E), ord_subtract(VSet_Schema, VSet_E, VSet_Actual), % build call of new predicate with proper arguments callable_arglists_appended(AuxPred, [Args,VSet_Actual], Goal), % callee clauses (new predicate) callable_arglists_appended(AuxPred, [Nils, VSet_Actual], Head0), % fact callable_arglists_appended(AuxPred, [Vars_E_Es,VSet_Actual], Head1), % rule callable_arglists_appended(AuxPred, [Vars_Es, VSet_Actual], Rec1), % % dump generated clauses to a file atom_concat('/tmp/x', C_atom, FileName), % TODO: get actual tmpfilnam open(FileName, write, S), portray_clause(S, (Head0 :- true)), portray_clause(S, (Head1 :- Rel, Rec1)), close(S), % compile temporary file in proper module compile(FromModule:FileName).
So far so good;) So here's the problem...
How can I ensure that the goal-expanded variant is exactly like the predicates it replaces?
(I have a hunch that it is not, but I can't quite put my finger on it...)
allequal(Xs) :- maplist(=(_), Xs).
成为
allequal(A) :- maplist_aux_0(A, _).
maplist_aux_0([], _).
maplist_aux_0([A|B], C) :- C=A, maplist_aux_0(B, C).
最佳答案
最简单的解决方案可能是扩展到 do/2
,类似于 SICStus 中的 library(lists)
用于实现 maplist/n
>.
/* -*- Mode:Prolog; coding:iso-8859-1; indent-tabs-mode:nil; prolog-indent-width:8; prolog-paren-indent:4; tab-width:8; -*- */
/*
Replacement for maplist from library lists, that inlines the calls when possible.
In your code, instead of doing:
:- use_module(library(lists),[maplist/2, maplist/3, ... other non-maplist things ...]).
Do:
:- use_module(library(lists),[... other non-maplist things ...]).
:- use_module(maplist_inliner, [maplist/2,maplist/3]).
*/
:- module(maplist_inliner, [maplist/2,maplist/3]).
% We can not import (and reexport) maplist/2 etc from the module 'lists' (because
% our goal_expansion will only be used from our own predicates, not predicates we reexport).
% Instead we use thin wrappers for those cases where we are unable to inline the calls to maplist.
% However, these will never be used, because we always fallback to expanding to a plain lists:maplist/n call.
:- use_module(library(lists), []).
:- meta_predicate maplist(1, +).
:- meta_predicate maplist(2, +, +).
% TODO: Add more arities
% A thin wrapper around lists:maplist/2. See module documentation for rationale.
maplist(G_1, L1) :-
lists:maplist(G_1, L1).
% A thin wrapper around lists:maplist/3. See module documentation for rationale.
maplist(G_2, L1, L2) :-
lists:maplist(G_2, L1, L2).
get_module(X, ModuleContext, G, M) :-
var(X),
!,
G = X,
M = ModuleContext.
get_module(M1:X, _ModuleContext, G, M) :-
!,
get_module(X, M1, G, M).
get_module(X, ModuleContext, G, M) :-
!,
G = X,
M = ModuleContext.
:- if(fail).
goal_expansion(G, Layout0, ModuleContext, Expansion, Layout1) :-
writeq(goal_expansion(G,Layout0,ModuleContext,Expansion,Layout1)),
nl,
fail.
:- endif.
goal_expansion(maplist(G, L1), _Layout0, ModuleContext, Expansion, Layout1) :-
callable(G),
get_module(G, ModuleContext, G_1, M),
callable(G_1),
atom(M),
!,
Layout1 = [], % No source info
inline_maplist_2(G_1, M, L1, Expansion).
goal_expansion(maplist(G, L1), _Layout0, ModuleContext, Expansion, Layout1) :-
!,
Layout1 = [], % No source info
Expansion = lists:maplist(ModuleContext:G,L1).
goal_expansion(maplist(G, L1, L2), _Layout0, ModuleContext, Expansion, Layout1) :-
callable(G),
get_module(G, ModuleContext, G_2, M),
callable(G_2),
atom(M),
!,
Layout1 = [], % No source info
inline_maplist_3(G_2, M, L1, L2, Expansion).
goal_expansion(maplist(G, L1, L2), _Layout0, ModuleContext, Expansion, Layout1) :-
!,
Layout1 = [], % No source info
Expansion = lists:maplist(ModuleContext:G,L1,L2).
inline_maplist_2(G_1, M, L1, Expansion) :-
G_1 =.. [F|ClosureArgs],
append([F|ClosureArgs], [X], G_ClosureArgs_X),
BodyGoal =.. G_ClosureArgs_X,
Expansion =
(foreach(X,L1),
param(G_1)
do
M:BodyGoal
).
inline_maplist_3(G_2, M, L1, L2, Expansion) :-
G_2 =.. [F|ClosureArgs],
append([F|ClosureArgs], [X1,X2], G_ClosureArgs_X1_X2),
BodyGoal =.. G_ClosureArgs_X1_X2,
Expansion =
(foreach(X1,L1),
foreach(X2,L2),
param(G_2)
do
M:BodyGoal
).
例子
/* -*- Mode:Prolog; coding:iso-8859-1; indent-tabs-mode:nil; prolog-indent-width:8; prolog-paren-indent:4; tab-width:8; -*- */
:- use_module(maplist_inline, [maplist/2,maplist/3]).
p_1(X1) :-
writeq(call(p_1(X1))).
p_2(X1, X2) :-
writeq(call(p_2(X1,X2))).
p_3(X1, X2, X3) :-
writeq(call(p_3(X1,X2,X3))).
test(L1) :-
ClosureArg1 = 'a',
maplist(p_2(ClosureArg1), L1).
test(L1, L2) :-
maplist(p_2, L1, L2).
test_1(L1, Arg) :-
maplist(p_2(Arg), L1).
test_1(L1, L2, Arg) :-
maplist(p_3(Arg), L1, L2).
test_noinline(L1, L2, Arg) :-
G_2 = p_3(Arg), % Inliner will not see this
maplist(G_2, L1, L2).
使用 consult/1
和 listing/1
显示发生了什么:
bash$ /usr/local/sicstus4.5.0/bin/sicstus
SICStus 4.5.0 (x86_64-darwin-17.7.0): Thu Jan 17 17:17:35 CET 2019
Licensed to SICS
| ?- consult(test).
% ...
| ?- listing.
maplist_inliner:maplist(A, B) :-
lists:maplist(A, B).
maplist_inliner:maplist(A, B, C) :-
lists:maplist(A, B, C).
p_1(A) :-
writeq(call(p_1(A))).
p_2(A, B) :-
writeq(call(p_2(A,B))).
p_3(A, B, C) :-
writeq(call(p_3(A,B,C))).
test(A) :-
B=a,
( foreach(C, A),
fromto(B, D, D, _)
do p_2(D, C)
).
test(A, B) :-
( foreach(C, A),
foreach(D, B)
do p_2(C, D)
).
test_1(A, B) :-
( foreach(C, A),
fromto(B, D, D, _)
do p_2(D, C)
).
test_1(A, B, C) :-
( foreach(D, A),
foreach(E, B),
fromto(C, F, F, _)
do p_3(F, D, E)
).
test_noinline(A, B, C) :-
D=p_3(C),
lists:maplist(user:user:D, A, B).
当心。我对此测试的时间不超过几分钟。
关于macros - 元谓词映射列表的测试目标扩展,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/54914149/
我是 magento 的新手,目前我在 magento 安装期间遇到“必须加载 PHP 扩展 curl ”错误。你能帮帮我吗? 最佳答案 如果您的服务器上没有安装 curl,您可以键入以下命令之一来安
我在 macOS Mojave/macOS Big Sur/macOS Monterey/macOS Ventura 上使用最新的 php 版本 7.2 并收到类似错误 $composer requ
这个问题已经有答案了: Why generic type is not applicable for argument extends super class for both? (5 个回答) 已关
我正在使用 NightWatch.js 并进行一些 UI 测试,我想用一些额外的 desiredCapabilities 启动默认浏览器实例(即启用扩展并应用一些特定值)。 p> 注意:我可以执行这些
有人知道为什么我在 java 8 中使用此代码时没有服务器扩展名称吗: try { URL url = new URL(urlString); URLC
扩展提供给我的类(class)。为现有的类提供新功能。或扩展现有的mixin s 或虚拟类,任何东西都可以工作。 也许是这样的: class FlatButton {} // maybe no
我有一个关于使用 c 代码和 mod_wsgi 扩展 python 的问题。 我在 apache 服务器中有一个 django 应用程序,它查询 postgresql 数据库以生成报告。在某些报告中,
testcafe支持在Chrome浏览器中加载crx扩展吗? 如果是这样,请告诉我需要尝试什么方法。 我尝试了下面的代码,但没有成功 await t.eval(new Function(fs.read
这个问题已经有答案了: What is a raw type and why shouldn't we use it? (16 个回答) 已关闭 3 年前。 有什么区别: // 1 class A c
我正在编写一个 chrome 扩展来记录单击开始按钮后触发的请求。 这是我的文件:1. list .json { "manifest_version": 2, "name": "recorde
我每天都在使用 vim 和 perforce 现在我的问题是,如果我想查看 perforce 文件修订版,则从命令模式下的 vim :!p4 打印文件#1 vim 试图让我获得缓冲区 #1。有没有办法
大家好,我有一个关于 NUnit 扩展(2.5.10)的问题。 我想做的是向 数据库。为此,我使用 Event 创建了 NUnit 扩展 听众。 我遇到的问题是公共(public)无效 TestFin
我有弹出窗口,而不是模态窗口。 如何通过单击页面的其他部分(不在窗口中)来关闭此窗口? 最佳答案 像这样的东西: function closeWin(e, t) { var el = win.
我通常非常谨慎地使用扩展方法。当我确实觉得有必要编写一个扩展方法时,有时我想重载该方法。我的问题是,您对调用其他扩展方法的扩展方法有何看法?不好的做法?感觉不对,但我无法真正定义原因。 例如,第二个
扩展 Ant Ant带有一组预定义的任务,但是你可以创建自己的任务,如下面的例子所示。 定制Ant 任务应扩展 org.apache.tools.ant.Task 类,同时也应该拓展 execut
我想要一个重定向所有请求的扩展: http://website.com/foo.js 到: http://localhost/myfoo.js 我无法使用主机文件将主机从 website.com 编辑
对于为什么 QChartView 放在 QTabWidget 中时会扩展,我有点迷惑。 这是 QChartView 未展开(因为它被隐藏)时应用程序的图片。 应用程序的黑色部分是 QOpenGLWid
如果在连接条件中使用 OR 运算符,如何优化以下查询以避免 SQL 调优方面的 OR 扩展? SELECT t1.A, t2.B, t1.C, t1.D, t2.E FROM t1 LEFT J
一旦加载插件的问题得到解决(在 .NET 中通过 MEF 的情况下),下一步要解决的是与它们的通信。简单的方法是实现一个接口(interface),使用插件实现,但有时插件只需要扩展应用程序的工作方式
在我的 Symfony2 包中,我需要检查是否定义了一个函数(一个扩展)。更具体地说,如果安装了 KnpMenuBundle,我会在我的包中使用那个,否则我将自己渲染插件。 我试过了,但这当然不起作用
我是一名优秀的程序员,十分优秀!