Логическая задача Turbo prolog: Кто самый младший?

08.12.2012, 21:27. **Показов** 4699. **Ответов** 4

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

Пожалуйста помогите решить в турбо прологе!!!!Буду очень Вам признательна!!!!Заранее спасибо!!!
Три мальчика А, В и С выступали на школьном вечере.
Из следующих ниже утверждений одно - ложное:
А старше, чем В;
С моложе, чем В;
Сумма возрастов В и С равна удвоенному возрасту А;
С старше, чем А.
Кто из певцов самый младший?

@Грымзик · 08.12.2012, 22:15

Генерите перестановку списка ['A','B','C'], хранящий мальчиков по старшинству. Предикат перестановки часто на форуме встречается. Кто кого старше проверить легко

Prolog

1
2
3

старше(А,Б,[A,Б,_]).
старше(А,Б,[A,_,Б]).
старше(А,Б,[_,A,Б]).

И еще надо флажком отмечать выполнилась проверка, или нет. И в итоге сумма флажков должна равняться 3.

Для старта достаточно, далее буду помогать только после выкладывания своих попыток что-либо написать.

09.12.2012, 00:24

Prolog

DOMAINS
 
name=string
 
PREDICATES
 
nondeterm starche(name,name)
 
nondeterm riad(name,name,name)
 
CLAUSES
starche("A","B").
 
starche("B","C").
 
starche("C","A").
 
riad(X1,X2,X3):-starche(X1,X2),starche(X2,X3).
 
GOAL
 
riad(X,_,Y), write("Mladchui - ",Y).

что-то делаю но все не то, и как определить какое утверждение ложное?
и еще вопрос: как учитывать, что сумма возрастов В и С равна удвоенному возрасту А?

Добавлено через 1 час 49 минут
Возможно логическое решение как-то поможет в написании кода: "Для того, чтобы найти самого младшего, будем предполагать, что одно из утверждений ложно.

Пусть А моложе чем В. Тогда А < С < В. Но тогда не может выполниться условие 3. Отсюда условие 1 правдиво.
Пусть С старше В. Отсюда С >А >В.
Отсюда условие 2 – ложно.
Но необходимо проверить на ложность остальные условия.
Пусть условие 3 ложно.
Тогда А > В, С < В и С > А, что невозможно.
Тогда условие 3 правдиво.
Пусть С > А. Тогда А >В >С.
Но тогда не может выполниться условие 3.
Отсюда условие 4 правдиво и условие 2 точно ложно.

Тогда самый младший из мальчиков – В."
Помогите пожалуйста, очень очень нужно, пожалуйста.

@Грымзик · 09.12.2012, 13:57

Начните как я описала. Факты

Prolog

starche("A","B").
 
starche("B","C").
 
starche("C","A").

никакого смысла не несут. По поводу удвоенного возраста просто надо проверять, что или у нас [B, A, C] или [C, A, B].

10.12.2012, 12:21

Student55, Аня, как ваши успехи в решении задачи ?

Student55
		1
	Логическая задача Turbo prolog: Кто самый младший? 08.12.2012, 21:27. Показов 4699. Ответов 4 Метки нет (Все метки) Пожалуйста помогите решить в турбо прологе!!!!Буду очень Вам признательна!!!!Заранее спасибо!!! Три мальчика А, В и С выступали на школьном вечере. Из следующих ниже утверждений одно - ложное: А старше, чем В; С моложе, чем В; Сумма возрастов В и С равна удвоенному возрасту А; С старше, чем А. Кто из певцов самый младший?

Kovalchuk_ndu
	10.12.2012, 12:21	5
	Student55, Аня, как ваши успехи в решении задачи ?

Опции темы