Программирование в prolog

На улице, встав в кружок, беседуют четыре девочки: Аня, Валя, Галя и Надя.
Девочка в зеленом платье — не Аня и не Валя — стоит между девочкой в голубом платье и Валей. Девочка в белом платье стоит между девочкой в розовом платье и Галей. Какого цвета платье у каждой из девочек?
дописать/переделать код чтобы проверялось условие на их расположение
domains
gol = symbol
predicates
colors(gol)
dress(gol, gol)
solve(gol, gol, gol, gol, gol, gol, gol, gol)
clauses
colors("pink").
colors("green").
colors("blue").
colors("white").

dress(anya, Y) :- colors(Y), Y "green".
dress(valya, Y) :- colors(Y), Y "green", Y "blue".
dress(galya, Y) :- colors(Y), Y "pink", Y "white".
dress(nadya, Y) :- colors(Y).

solve(anya, valya, galya, nadya, C1, C2, C3, C4) :-
dress(anya, C1),
dress(valya, C2),
dress(galya, C3),
dress(nadya, C4),
C1 C2, C1 C3, C1 C4, C2 C3, C2 C4, C3 C4,

write("Anya's dress is: "), write(C1), nl,
write("Valya's dress is: "), write(C2), nl,
write("Galya's dress is: "), write(C3), nl,
write("Nadya's dress is: "), write(C4), nl.
goal
solve(anya, valya, galya, nadya, C1, C2, C3, C4).