пролог логические задачи

[maks3d]

Три девушки упражнялись, прыгая в высоту перед зачетом по физкультуре.
Планка была установлена на высоте 1,20 м. «Держу пари, – говорит первая
девушка второй, – что мой прыжок будет удачным в том и только том случае,
если твой окажется неудачным». Предположим, вторая девушка сказала то
же самое третьей, а та, в свою очередь, сказала это же первой.
 Возможно ли, чтобы ни одна из трех девушек не проиграла пари 

[Abstraction]

А при чём тут пролог? Задача решается ручкой на бумаге, ответ "нет".

Если хочется программой, то как Вы бы выразили

«Держу пари, – говорит первая девушка второй, – что мой прыжок будет удачным в том и только том случае, если твой окажется неудачным»

[Sciv]

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

А при чём тут пролог? Задача решается ручкой на бумаге, ответ "нет".

Если хочется программой, то как Вы бы выразили

Элементарно, предикатом:

Удачный(девушка2):-Неудачный(Девушка1)

Но ответ действительно "нет", тут ни пролог, ни даже бумажка не нужны

[Abstraction]

Элементарно, предикатом:

Я знаю. Вопрос был ТС.

[maks3d]

ребят , головоломку решить не сложно на бумаге или без нее, вопрос в другом, необходимо написать программу решения этой головоломки на прологе

[Abstraction]

необходимо написать программу решения этой головоломки на прологе

Начните, мы поможем.

[maks3d]

predicates
n(symbol)
res(symbol,symbol,symbol)
clauses
n(udach).






res(A,B,C):-n(A),n(B),n(C),A<>B,B<>C,C<>A,
A=udach,not(B=udach),not(C=udach).


res(A,B,C):-n(A),n(B),n(C),A<>B,B<>C,C<>A,
not(A=udach),B=udach,not(C=udach).


res(A,B,C):-n(A),n(B),n(C),A<>B,B<>C,C<>A,
not(A=udach),not(B=udach),C=udach.

[maks3d]

ребят, посмотрите, срочно надо, пожалуйста, правильно ли решена задача?