Prolog unifikacje

Pary dla których prolog znajdzie unifikację

1. [One]=[two|[]]. Tak
2. [one]=[Two]. Tak
3. [apple,pear,grape]=[A,pear|Rest]. Tak
4. [a|Rest]=[a,b,c]. Nie
5. [a,d,z,c]=[H|T]. Tak
6. [a,[]]=[A,B|Rest]. Tak

czy ktoś potwierdzi ?

SWI Prolog nie potwierdza https://asciinema.org/a/33c75onl3uwnie8o8wtoslvoa

@fucidin Czemu sam nie wklepałeś to w prologa, a poza tym, wiesz co tam sie dzieje wgl bo mam wrażenie, że to Tak i Nie to mocno na pałę wstawiałeś.