пролог головоломки

[maks3d]

Алла, Галя, Лена и Марина играли в домино. Марина младше, чем Галя. Лена
старше, чем любая из ее противниц. Марина старше, чем ее партнерша. Алле и
Гале вдвое больше лет, чем Лене и Марине вместе.
 Как распределить девушек по возрасту 

[Abstraction]

Галя, Лена, Марина, Алла.

[Sciv]

 Как распределить девушек по возрасту 

Ну можно, например, по убыванию возраста. Или по возрастанию.
А можно по остатку деления возраста на четыре, например.

Конкретно - в чем проблема? В прологе?

[maks3d]

вот решение обычное.
Прежде всего, учитывая, что Марина младше Гали, но старше своей партнерши, запишем, что партнерша Марины — не Галя. Далее, известно, что Лена старше двух девушек, играющих против неё. Следовательно, Марина — не её партнерша. Иначе Марина будет, с одной стороны, самой старшей из девушек, а с другой — она должна быть младше Гали. Таким образом, Марина играет с Аллой, а Галя — с Леной. Теперь проще будет распределить девушек и по возрасту. Лена старше Марины и старше Аллы. А Марина старше своей партнерши Аллы. С другой стороны, Галя старше Марины. Следовательно, Марина и Алла — младшие по возрасту, причем самая младшая — Алла. А поскольку самой младшей девушке и Гале вместе больше лет, чем Лене и Марине (не забудем, что Марине больше лет, чем Алле), ясно, что самая старшая — Галя.

проблема в том что необходимо реализовать данную задачу на прологе,

[Sciv]

Вот я и спрашиваю - Вы пролог не знаете или у Вас программа не получается?