Програмирование в SWI-Prolog

[Лина_Чер]

Люди добрые помоги додумать прогу!!! Текст задания:Перед началом забегов зрители обсуждали скаковые возможности трех лучших лошадей с кличками "Абрек", "Ветер", "Стрелок".
- Победит или "Абрек", или "Стрелок", - сказал один болельщик.
- Если "Абрек" будет вторым, то победу принесет "Ветер", - сказал другой болельщик.
- Много вы понимаете в лошадях, - возмутился третий болельщик.
- Вторым придет или 'Ветер", или "Абрек".
- А я вам скажу, - вмешался четвертый болельщик, - что если "Абрек" придет третьим, то "Стрелок" не победит.
После забега выяснилось, что три лошади - "Абрек", "Ветер" и "Стрелок" - заняли три первых места, не деля между собой ни одного из мест, и что все четыре предсказания болельщиков были правильны. Как кончился забег?

Вот что я смогла придумать:
S= [h(abrek,N), h(strelok, k), h(Veter, I)],

(member(h(Abrek, 1), S);
member(h(Strelok, 1) S)),

(member(h(Abrek, 2),S);
member(h(Veter, 1), S);
not(member(h(Abrek, 1),S)),

(member(h(Veter, 2), S);
member(h(Abrek, 2), S)),

(member(h(Abrek, 3), S);
not (member(h(Strelok,1),S)));

В конце запрос делается через Solve(S) и он выводит результаты.