Prolog - unifikacja

0

Dlaczego takie wyniki, skoro [A|C]. = [A,[C]].

?- [A,[C]]=[A|C].
C = [[C]].

?- [A,C]=[A|C].
C = [C].
0

Już zrozumiałem, koniec.

1 użytkowników online, w tym zalogowanych: 0, gości: 1