diff --git a/metro.pl b/metro.pl index 947c442..a6cbab3 100644 --- a/metro.pl +++ b/metro.pl @@ -18,6 +18,11 @@ solution(Vars) :- Bat, BrokenBottle, Gun, Knife, Sword, Phone, Purse, Suitcase, Violin, Watch], Vars ins 1..5, + all_distinct([Nineteen, Twentyone, Twentyfive, Thirty, Thirtyeight]), + all_distinct([Collision, Explosion, Kidnapping, Robbery, Vandalism]), + all_distinct([Hat, Jacket, Sunglasses, Tie, Turtleneck]), + all_distinct([Bat, BrokenBottle, Gun, Knife, Sword]), + all_distinct([Phone, Purse, Suitcase, Violin, Watch]), Hat = Purse, Sunglasses = Explosion, Jacket = Bat,