Имам въпрос относно условието на екстра кредитите и по конкретно-за дачата за пермутациите.Изразът Y\=[], предполагам означава, че Y е различен от празния списък.
Въпросът ми е следния: Ако на входа подадем perm([1,2]), това ще предизвика изпълненито на p([],[],[1,2]).В този случай не може да се изпълни нито една от дефинициите на p.
1.p(X,Y,[])-[1,2] не е празния списък
2.p(X,[],[a])- [1,2] има повече от един елемент
3.p(X,Y,[a|Z])- Y не може да е празния списък, а ние извикваме p([],[],[1,2])
Ако аз не разбирам правилно условието ще съм благодарна, ако някой ми помогне.