将复杂术语转换为列表列表，然后使用修改后的函子返回术语 [英] Convert complex term to List of lists and then back to term with modified functor

问题描述

您可以使用 =.. 来转换简单的术语.

you can use =.. to convert simple terms.

?- x(a,b,c) =.. A.
A = [x, a, b, c].

复杂的术语呢:

x(a,b(c,d)) ==> [x,a,[b,c,d]]
x(a,b(c,q(d))) ==> [x,a,[b,c,[q,d]]]

然后作为单独的任务，我想用改变的函子重新生成条款:

then as separate task i want to re-generate the terms with changed functor :

x(a,b(c,d)) ==> [x,a,[b,c,d]] ==> y(a,f(c,d))

推荐答案

deep_univ(X, Y) :-
    X =.. [H|Rest],
    (
       Rest = []
    -> Y = X
    ;  maplist(deep_univ, Rest, ExpRest),
       Y=[H|ExpRest]
    ).
    
rev_univ([H|Rest], Y) :-
    maplist(rev_univ, Rest, RestT),
    Y =.. [H|RestT].
rev_univ(H, H) :- + is_list(H).

?- T=x(a,b,c(d,e(f)), j), deep_univ(T, X), rev_univ(X, Y).
T = Y, Y = x(a, b, c(d, e(f)), j),
X = [x, a, b, [c, d, [e, f]], j] 

这篇关于将复杂术语转换为列表列表，然后使用修改后的函子返回术语的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！