Question

If I had the predicate cat(dog(cow(a,b,c))), how I can transform this into cat(dog(cow([a,b,c])))? I was thinking about the system s predicate =.. but it doesn t end properly, because I obtain cat([dog([cow([a,b,c])])]), and that s not that I want :( The patch needs to fix also other similar case as dog(cat(a,b,c)) into dog(cat([a,b,c])).

任何人都有想法? Or maybe I m与运营商做过错......

我的想法是:

animal(X) :- atomic(X).
animal(X) :- atomic([]).

cow(X) :-
   animal(X),
   cow([X|List]).

dog(X) :-
   animal(X),
   dog([X|List]).

cat(X) :-
   animal(X),
   cat([X|List]).

感谢

Answer 1

使用<条码>=.,对tern子进行检查。

ternary_takes_list(T0, T) :-
    (T0 =.. [F, X, Y, Z] ->
        T =.. [F, [X, Y, Z]]
    ; T0 =.. [F, X0] -> 
        ternary_takes_list(X0, X),
        T =.. [F, X]
    ;
        T = T0
    ).

您的例子如下:

?- ternary_takes_list(cat(dog(cow(a,b,c))), X).
X = cat(dog(cow([a, b, c]))).

?- ternary_takes_list(dog(cat(a,b,c)), X).
X = dog(cat([a, b, c])).

友情链接