如何包装列表中的每个元素？
我有这样的东西(2*3*4*...)^6
如何使用此输出制作列表：2^6 * 3^6 * 4^6 * ...
我正在考虑使用 maplist 进行一些简单的事情，但我不确定如何将参数发送到第一个参数中的函数。
simplify(X^Y,R):- X=..[*|Args], maplist(?^Y, Args, Args2), R=..[*|Args2], !.
:- simplify((2*x)^6, (2^6) * (x^6)). %should be true
顺便说一下使用Swi-prolog
您的输入数据结构不包含任何列表，它是一个嵌套结构，叶子上有数字：
?- write_canonical(2*3*4*5).
*(*(*(2, 3), 4), 5)
因此，地图列表在这里没有多大用处。 相反，编写一个简单的递归谓词来遍历(和重建(递归数据结构：
simplify(N, Exp, N^Exp) :-
number(N).
simplify(L*R, Exp, LExp*RExp) :-
simplify(L, Exp, LExp),
simplify(R, Exp, RExp).
代码结构遵循数据结构。 示例运行
?- simplify(2*3*4*5, 6, E).
E = 2^6*3^6*4^6*5^6
Yes (0.00s cpu)