%const length = 11.

floor(0..5).

not_goal(T):- floor(N), time(T),
    holds(on(N), T).

goal(T):- time(T), not not_goal(T).

goal(T+1):- time(T), goal(T).

:- not goal(length).

hide not_goal(T).
hide floor(N).