重写递归 sicstus prolog 函数
我的目标是有这个输入：
L = [a,b,c], build_tree(L,T).
使用这个输出：
L = [1,30,kth,5],
T = b(l(a),b(l(b),b(l(c)))) ?
yes
使用这个代码，可以计算树中叶子的数量：
leaves(l(X), [X]).
leaves(b(L1,L2),V):-
leaves(L1,V1),
leaves(L2,V2),
append(V1,V2,V).
我可以通过简单地为函数提供一个列表而不是树作为输入来获得所需的输出，例如
L = [a,b,c], leaves(T,L).
：这里唯一的问题是它以错误的顺序获取参数（即 build_tree(T,L) 而不是 build_tree(L,T)）。
那么，如何产生相同的结果，但只需交换输入参数呢？ 我已经尝试了所有“明显”的解决方案（交换变量），但我猜测它可能不像看起来那么容易，因为它是一种递归方法。
My goal is to have this input:
L = [a,b,c], build_tree(L,T).
With this output:
L = [1,30,kth,5],
T = b(l(a),b(l(b),b(l(c)))) ?
yes
And with this code, that counts the number of leaves in a tree:
leaves(l(X), [X]).
leaves(b(L1,L2),V):-
leaves(L1,V1),
leaves(L2,V2),
append(V1,V2,V).
I can get the desired output by simply giving the function a list instead of a tree as input, eg:
L = [a,b,c], leaves(T,L).
The only problem here is that it takes the arguments in the wrong order (i.e. build_tree(T,L) instead of build_tree(L,T)).
So, how can I produce the same result, but simply swap the input arguments?
I've tried every "obvious" solution (swapping around variables), but I'm guessing that it might not be as easy as it seems since it's a recursive method.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
如果您有一个谓词并想要重新排序参数，最简单的方法（imo）是编写一个包装谓词：
if you have a predicate and want to re-orded the arguments, the simplest way (imo) is to write a wrapper predicate:
另外，考虑使用 DCG：
Also, consider using DCGs: