Prolog stabilt forhold :)

Hey. :)
Jeg har fået følgende opgave i skolen og tænker at nogle måske har en ide til hvordan pokker jeg skal starte.

Definer et prædikat stable/ 1, hvis eneste argument er en liste over pair(M,W), således at stable(L) holder.

For stable(L) holder, bør der kontrolleres på følgende:
- Hver "mand" har et match;
- Hver "kvinde" har et match;
- Der er ingen "mand" M og "kvinde" W sådan at M foretrækker en anden W til hans pair i L og W foretrækker en anden M til hendes pair i L.

Hvad de fortrækker skrives således:
order(hans,[camilla,michelle]).
order(brian,[michelle,camilla]).
order(michelle,[brian,hans]).
order(camilla,[hans,brian]).

Metoden stable skal kaldes:
stable([pair(hans,michelle),pair(brian,camilla)])

Den skal så tjekke om de fortækker en anden partner end den de er sat sammen med og derefter retunere true/false hvis den holder eller ikke holder.


Håber der et et geni derude der har en god ide, fordi damn jeg har det svært med logisk programmering.