פרולוג. למצוא את התוכי שיש בו את כל הצבעים (רשימות+שלילה)

[tranq]

עולמון:

תוכי(1,[צהוב,לבן,אפור]).

תוכי(2,[חום,אדום,אפור]).

תוכי(3,[צהוב,לבן,אפור,חום,אדום]).

תוכי(4,[לבן,חום]).

למצוא את התוכי שיש בו את כל הצבעים, במקרה זה תוכי 3.

צריך להישתמש בשלילה.

זה מה שנסיתי (לא עובד):

הכי_צבעוני(_תוכי):-

תוכי(_תוכי,_צבעים),

לא ( תוכי(_,_צבעים_אחרים), חבר(_צבע_אחר,_צבעים_אחרים), לא(חבר(_צבע_אחר,_צבעים)) ).

הפלט הוא:

_תוכי = 1

...

_תוכי = 4

בקיצור כל התוכים.

[tranq]

נפתר.

עזר_צבעים(_צבע):-

תוכי(_,_צבעים),

חבר(_צבע,_צבעים).

תוכי_עם_צבעים(_תוכי):-

תוכי(_תוכי,_צבעים),

מצא_כל(_כל_צבע,עבר_צבעים(_כל_צבע),_כל_הצבעים),

לא ( חבר(_צבע_אחר, _כל_הצבעים), לא חבר(_צבע_אחר,_צבעים)).