Upload New File

traffic_light.pl

+maxTime(10).
+
+actions switch_to_yellow/1, switch/1.
+
+events call/1.
+
+fluents colour/2.
+
+observe call(light1) from 2.
+observe call(light1) from 5.
+observe call(light1) from 9.
+
+switch(Light) updates yellow1 to red in colour(Light, yellow1).
+switch(Light) updates yellow2 to green in colour(Light, yellow2).
+switch_to_yellow(Light) updates green to yellow1 in colour(Light, green).
+switch_to_yellow(Light) updates red to yellow2 in colour(Light, red).
+
+initially colour(light1, red).
+
+if  call(Light) to T,
+	colour(Light,Colour ) at T
+then switch_to_yellow(Light) from T.
+
+if colour(Light, yellow1) at T
+then switch(Light) from T.
+
+if colour(Light, yellow2) at T
+then switch(Light) from T.
+
+
+