טוב לא מצחיק...
\+ +Goal Succeeds if `Goal' cannot be proven (mnemonic: + refers to provable and the backslash (\) is normally used to indicate negation in Prolog).
זה אומר לפרולוג תנסה להוכיח את המטרה הזאת, אם אתה מצליח תחזיר No, אם אתה לא מצליח, תחזיר Yes. במקרה שלך, אם הוא מחזיר Yes, זה אומר ש-X לא חבר ברשימה שמתחילה ב Y וממשיכה ברשימה Ys...
