signal1.asl~

/* Initial Belief, my light is green */
+colour(green).

/* Goals */

!check(train).

/* Plans */

+!check(train): true
	<- !at(train,station);
		!check(train).
		
+!at(train,station): at(train,station)
	<- .wait(8000);
		turn_red(signal1);
		+colour(red);
		-colour(green).		
	
+!at(train,station): not at(train,station)
	<- !check(colour).
	
+!check(colour): colour(red)
	<- .wait(3000);
		turn_yellow(signal1);
		+colour(yellow);
		-colour(red);
		!at(train,station).
		
+!check(colour): colour(yellow)
	<- .wait(1500);
		turn_green(signal1);
		+colour(green);
		-colour(yellow);
		!at(train,station).
		
+!check(colour): colour(green)
	<- !at(train,station).
	
+!check(colour): true <- true.