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

Kokc · 22.12.2011, 00:03

Условия задачи: узнать возможные места участников соревнования, если известно что Петя занял не 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 · 22.12.2011, 01:23

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

kreol · 22.12.2011, 01:41

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

Kokc · 22.12.2011, 19:08

Цитата:

Сообщение от kreol

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

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

kreol · 22.12.2011, 23:14

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

22.12.2011, 00:03	#1 (permalink)
Kokc Новичок Регистрация: 21.12.2011 Сообщений: 2 Сказал(а) спасибо: 0 Поблагодарили 0 раз(а) в 0 сообщениях Репутация: 10	Помогите найти ошибку в Пролог-Д Условия задачи: узнать возможные места участников соревнования, если известно что Петя занял не 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). в ответе пишет - нет, а должен норм результат выводить

22.12.2011, 00:03
Helpmaster Member Регистрация: 08.03.2016 Сообщений: 0	Возможно решение проблемы скрывается где то тут Помогите найти ошибку Помогите, пожалуйста, найти ошибку в программе

22.12.2011, 01:23	#2 (permalink)
kreol Member Регистрация: 27.02.2010 Сообщений: 659 Сказал(а) спасибо: 0 Поблагодарили 0 раз(а) в 0 сообщениях Репутация: 1312	1) если не в теме, то в сообщении укажите язык программирования.(я то знаю что это пролог. но почему я и другие должны угадывать что это за структура данных?) 2) какая из реализаций пролога используется?

22.12.2011, 01:41	#3 (permalink)
kreol Member Регистрация: 27.02.2010 Сообщений: 659 Сказал(а) спасибо: 0 Поблагодарили 0 раз(а) в 0 сообщениях Репутация: 1312	Извините виноват. 1 замечание не справедливое...

22.12.2011, 23:14	#5 (permalink)
kreol Member Регистрация: 27.02.2010 Сообщений: 659 Сказал(а) спасибо: 0 Поблагодарили 0 раз(а) в 0 сообщениях Репутация: 1312	где можно получить этот компилятор? что-то я не могу найти...

Ads
Яндекс Member Регистрация: 31.10.2006 Сообщений: 40200 Записей в дневнике: 0 Сказал(а) спасибо: 0 Поблагодарили 0 раз(а) в 0 сообщениях Репутация: 55070