Помогите найти ошибку в Пролог-Д

[Kokc]

Помогите найти ошибку в Пролог-Д

Условия задачи: узнать возможные места участников соревнования, если известно что Петя занял не 2 и не 3 место, и что Коля занял не 3 место. Всего 3 места на 3х участников.

имя(алеша).
имя(петя).
имя(коля).
место(первое).
место(второе).
место(третье).
соответствие(X, Y):- имя(X), РАВНО(петя,X), место(Y),НЕ(РАВНО(второе,Y)),НЕ(РАВНО(третье,Y)).
соответствие(X, Y) :- имя(X), РАВНО(коля,X), место(Y), НЕ(РАВНО(третье,Y)).
соответствие(X, Y) :- имя(X), РАВНО(алеша,X), место(Y).
решение(X1,Y1,X2,Y2,X3,Y3) :-
РАВНО(петя,X1), соответствие(X1,Y1),
РАВНО(коля,X2), соответствие(X2,Y2),
РАВНО(алеша,X3), соответствие(X3,Y3),
НЕ(РАВНО(Y2,Y1)), НЕ(РАВНО(Y3,Y2)), НЕ(РАВНО(Y3,Y1)).
? решение(X1,Y1,X2,Y2,X3,Y3).
в ответе пишет - нет, а должен норм результат выводить

 

[kreol]

1) если не в теме, то в сообщении укажите язык программирования.(я то знаю что это пролог. но почему я и другие должны угадывать что это за структура данных?)
2) какая из реализаций пролога используется?

 

[kreol]

Извините виноват. 1 замечание не справедливое...

 

[Kokc]

1) если не в теме, то в сообщении укажите язык программирования.(я то знаю что это пролог. но почему я и другие должны угадывать что это за структура данных?)
2) какая из реализаций пролога используется?

пролог-д, версия 3.00

 

[kreol]

где можно получить этот компилятор?
что-то я не могу найти...