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

person(0).
person(1).
person(2).
person(3).

floor(0).
floor(1).
floor(2).
floor(3).
floor(4).
floor(5).
floor(6).
floor(7).

initially(origin(0,7)).
initially(destination(0,6)).

initially(origin(1,1)).
initially(destination(1,3)).

initially(origin(2,1)).
initially(destination(2,7)).

initially(origin(3,2)).
initially(destination(3,4)).

initially(lift_at(0)).

initially(neg(boarded(P))):- person(P).

initially(neg(served(P))):- person(P).