Корректность соревнования

@gle6-crash · Регистрация: 06.10.2015

Author24 — интернет-сервис помощи студентам

Помогите пожалуйста кто чем сможет,может хотя бы наброски какие-то

Есть база фактов вида: X победил Y. Напишите программу, которая будет отвечать на следующий вопрос:
Корректна ли база (никто не может победить сам себя транзитивно)?

Пример 1

data.pl:
win('Иван','Пётр'). win('Иванов','Пётров'). win('Иван','Иванов').
?-ask.
Иван
Пример 2

data.pl:
win('Иван','Пётр'). win('Иванов','Пётров'). win('Иван','Иванов'). win('Пётров'.'Иван').
?-ask.
No

@Black Fregat · 22.06.2016, 15:22

Prolog

1 2	win_trans(A, B) :- win(A, B); win(A, C), win_trans(C, B). ask :- not(win_trans(A, A)).

Хотя при гадкой базе предикат win_trans может и зациклиться..

@gle6-crash 0 / 0 / 0 Регистрация: 06.10.2015 Сообщений: 48
		1
	Корректность соревнования 22.06.2016, 14:11. Показов 476. Ответов 1 Метки нет (Все метки) Помогите пожалуйста кто чем сможет,может хотя бы наброски какие-то Есть база фактов вида: X победил Y. Напишите программу, которая будет отвечать на следующий вопрос: Корректна ли база (никто не может победить сам себя транзитивно)? Пример 1 data.pl: win('Иван','Пётр'). win('Иванов','Пётров'). win('Иван','Иванов'). ?-ask. Иван Пример 2 data.pl: win('Иван','Пётр'). win('Иванов','Пётров'). win('Иван','Иванов'). win('Пётров'.'Иван'). ?-ask. No 0

	22.06.2016, 15:22