Prolog πρόβλημα

[Amadeus7]

έχω ένα αρχείο με δεδομένα που αφορούν το ποιόν νίκησε το champions league την εκάστοτε χρονιά. τα δεδομένα είναι με τη μορφή

Κώδικας:

winner(1978,'Liverpool').

μπορεί κάποιος να μου πεί πώς να κάνω μία συνάρτηση fourtimes(T) που να μου επιστρέφει όνομα ομάδας που να έχει νικήσει ΤΟΥΛΑΧΙΣΤΟΝ 4 φορές??? Ευχαριστώ.

[neuromancer]

fourtimes(T):-
  setof(Team, Y^winner(Y,Team), Teams),   % mazepse omades
  member(T, Teams),                                % pare mia omada
  findall(Year, winner(Year,T), YearList),       % mazepse tis xronies pou kerdise
  length(YearList,Len),                              % metra poses einai oi xronies
  Len>=4.                                               % an einai >=4 telos

Βγάζει όλες τις λύσεις με backtracking. Τρέχει είτε με μεταβλητή είτε με δεσμευμένο T.