我有几个谓词使用lambda来做同样的事情,即来自func的tilde术语(包括lambda和func),最后使用lambda或func都不使用“ pure Prolog”:
:- use_module(library(lambda)).
:- use_module(library(func)).
both_lambda_and_func :-
maplist(\X^(print(length(X,~))), [`one`,`two`,`three`]).
lambda_only :-
maplist(\X^(length(X,Len),print(Len)), [`one`,`two`,`three`]).
func_only :-
maplist(func_only_helper, [`one`,`two`,`three`]).
func_only_helper(X) :-
print(length(X,~)).
normal_prolog :-
maplist(normal_prolog_helper, [`one`,`two`,`three`]).
normal_prolog_helper(X) :-
length(X,Len),
print(Len).
所有谓词都应打印335
(列表中字符串的长度),并且其中三个可以正确执行。问题是both_lambda_and_func/0
什么都不打印,似乎进入了无限循环。我已尝试解决trace/0
该问题,但对我来说似乎太复杂了。您能告诉我是否做错了吗,或者这是一个奇怪的错误?我正在使用SWI-Prolog 7.1.14,func 0.0.4,lambda 1.0.0。
?- listing(both_lambda_and_func).
both_lambda_and_func :-
length(A, B),
maplist(\A^print(B),
[[111, 110, 101], [116, 119, 111], [116, 104, 114, 101, 101]]).
在错误的上下文中不可能盲目地重写〜术语的范围。该程序不会终止,因为length / 2都释放了两个参数,然后生成了更长的列表。
[trace] 4 ?- both_lambda_and_func.
Call: (6) both_lambda_and_func
Call: (7) length(_G1485, _G1486)
Exit: (7) length([], 0)
^ Call: (7) apply:maplist(\[]^print(0), [[111, 110, 101], [116, 119, 111], [116, 104, 114, 101|...]])
Call: (8) apply:maplist_([[111, 110, 101], [116, 119, 111], [116, 104, 114, 101|...]], user: \[]^print(0))
^ Call: (9) lambda: \([]^print(0), [111, 110, 101])
Call: (10) copy_term_nat(user:[]^print(0), _G1541)
Exit: (10) copy_term_nat(user:[]^print(0), user:[]^print(0))
^ Call: (10) lambda: ^([], print(0), [111, 110, 101])
^ Fail: (10) lambda: ^([], user:print(0), [111, 110, 101])
^ Fail: (9) lambda: \(user:[]^print(0), [111, 110, 101])
Fail: (8) apply:maplist_([[111, 110, 101], [116, 119, 111], [116, 104, 114, 101|...]], user: \[]^print(0))
^ Fail: (7) apply:maplist(user: \[]^print(0), [[111, 110, 101], [116, 119, 111], [116, 104, 114, 101|...]])
Redo: (7) length(_G1485, _G1486)
Exit: (7) length([_G1478], 1)
^ Call: (7) apply:maplist(\[_G1478]^print(1), [[111, 110, 101], [116, 119, 111], [116, 104, 114, 101|...]])
Call: (8) apply:maplist_([[111, 110, 101], [116, 119, 111], [116, 104, 114, 101|...]], user: \[_G1478]^print(1))
^ Call: (9) lambda: \([_G1478]^print(1), [111, 110, 101])
Call: (10) copy_term_nat(user:[_G1478]^print(1), _G1547)
Exit: (10) copy_term_nat(user:[_G1478]^print(1), user:[_G1546]^print(1))
^ Call: (10) lambda: ^([_G1546], print(1), [111, 110, 101])
^ Fail: (10) lambda: ^([_G1546], user:print(1), [111, 110, 101])
...
致电^出错
^ Fail: (10) lambda: ^([], user:print(0), [111, 110, 101])
因为X已经实例化到[],而应该是免费的...
本文收集自互联网,转载请注明来源。
如有侵权,请联系[email protected] 删除。
我来说两句