logic elaborated with periodic rule checking