gistfile1.txt

module init {
  
	goals{
		printedEnoughText.
	}
	
	actionspec{
		% printText expects a string "..." as argument and prints it to the console.
		% The action can always be performed. We do not keep track of the texts that
		% have been printed and use an empty postcondition.
		printText(X) {
			pre{ true }
			post{ true }
		}
	}
}
	
module main[exit=always]{
	program{
		if goal( printedEnoughText ) then printText("Hello World").
	}
}

module event[exit=nogoals,focus=filter]{
	program[order=linearall]{
		if bel( percept( printedText(10) ) ) then insert( printedEnoughText ).

		forall goal(hello), bel(a)
			do adopt(testGoal(none)).
	}
}