From e3795d6739702fed4d624cb1dfad335dbe55a55e Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Mon, 25 Nov 2024 16:09:18 +0100 Subject: [PATCH] all_distinct --- metro.pl | 5 +++++ 1 file changed, 5 insertions(+) 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,