Добрый вечер! Помогите пожалуйста написать программу решения логической задачи на Strawberry Prolog.
Три подруги были одеты в белое, зеленое и синее платья. Их туфли также были белого, зеленого и синего цветов. Известно, что только у Ани цвет платья и туфель совпадали. Ни платье, ни туфли Вали не были белыми. Наташа – в зеленых туфлях. Определите цвет платья и туфель каждой из подруг. Цвета одежды и туфель у всех подруг разные.



Для облегчения решений есть решение этой задачи на Visual Prolog 5.2.:

predicates
  anya(string,string)
  valya(string,string)
  natasha(string,string)
  dress(string)
  shoes(string)
clauses
  dress(X):- X="white" ; X="blue" ; X="green".
  shoes(X):- X="white" ; X="blue" ; X="green".
  anya(X,Y):- dress(X),shoes(Y),X=Y.
  valya(X,Y):- dress(X),shoes(Y),not(X="white"),not(Y="white"),X<>Y.
  natasha(X,Y):- dress(X),shoes(Y),Y="green",X<>Y.
goal
  anya(X,Y),valya(A,S),natasha(H,J), X<>A,X<>H,A<>H, Y<>S,Y<>J,J<>S.

 

Это сообщение отредактировал(а) Кудрявая - 7.10.2010, 21:26

Большое спасибо!!!