Pary dla których prolog znajdzie unifikację
- [One]=[two|[]]. Tak
- [one]=[Two]. Tak
- [apple,pear,grape]=[A,pear|Rest]. Tak
- [a|Rest]=[a,b,c]. Nie
- [a,d,z,c]=[H|T]. Tak
- [a,[]]=[A,B|Rest]. Tak
czy ktoś potwierdzi ?
Pary dla których prolog znajdzie unifikację
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ś.