将复杂项转换为列表列表，然后使用修改后的函子转换回项

如何解决将复杂项转换为列表列表，然后使用修改后的函子转换回项

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

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

复杂的术语呢：

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

然后作为单独的任务，我想用改变的函子重新生成术语：

x(a,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,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,X = [x,a,[c,d,[e,f]],j]