לדוגמא יש:

%גן_חיות(_שם,[חיות]).

גן_חיות(גן_חיות_א,[קרנפים,ציפורים,אריות]).

גן_חיות(גן_חיות_ב,[זאבים,ערפדים]).

גן_חיות(גן_חיות_ג,[ערפדים,קרנפים,אריות]).

צריך למצוא זוגות של שמות גני חיות שאין להם איברים משותפים.

מה שאמור לצאת זה גן_חיות_א וגן_חיות_ב.

זה מה שניסיתי לעשות:

ללא_משותפים(_שם_גן1, _שם_גן2):-

_שם_גן1 \= _שם_גן2,

גן_חיות(_שם_גן1, _חיות1),

גן_חיות(_שם_גן2, _חיות2),

חבר(_חיה1, _חיות1),

לא ( חבר(_חיה1, _חיות2) ).

אבל הבעיה היא שהוא יסרוק כל פעם איבר 1 ויביא תשובה לכן אני יקבל גן_חיות_א וגן_חיות_ב, וזה נכון מכיוון שציפורים אין בגן_ג.

אז השאלה היא איך לעשות את החוק שיזהה רשימות שאין להם איברים משותפים? ???

נפתר.

ללא_משותפים(_שם_גן1, _שם_גן2):-
  גן_חיות(_שם_גן1, _חיות1),
  גן_חיות(_שם_גן2, _חיות2),
  _שם_גן1 \= _שם_גן2,
  לא ( חבר(_חיה1, _חיות1), חבר(_חיה1, _חיות2 ).