%const length = 10.
%const p=3.  -- 4 persons
%const n=7.  -- 8 floors

person(0..p).
floor(0..n).

% serves everybody 

finally(served(P)):- person(P).


not_goal(T):-
    literal(F), time(T),
    finally(F), not holds(F, T).

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

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

:- not goal(length).

hide not_goal(T).
hide finally(X).
hide person(P).
hide floor(F).