/*
Dell 4/98 p 7 Arch Friends 1 star
solved 11 Nov 1999
*/

:- lib(fd).
:- writeln("type this: start").
start :-
Flats::[1..4], Espa::[1..4],Pumps::[1..4],Sandals::[1..4],
Foot::[1..4], Heels::[1..4],Shoe::[1..4], Tootsies::[1..4],

alldifferent([Flats, Espa, Pumps, Sandals]),
alldifferent([Foot, Heels, Shoe, Tootsies]),

Foot #= 2,
Flats #= Heels,
Pumps + 1 ## Tootsies,
Shoe + 2 #= Sandals,


write("Flats: "), writeln(Flats),
write("Espa: "), writeln(Espa),
write("Pumps: "), writeln(Pumps),
write("Sandals: "), writeln(Sandals),
write("Foot: "), writeln(Foot),
write("Heels: "), writeln(Heels),
write("Shoe: "), writeln(Shoe),
write("Tootsies: "), writeln(Tootsies).



% © Copyright Doug Edmunds 2000