%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% schedule
%%% blank schedule - schedule.html
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% sample data
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

  room(cs151,g100)
  time(cs151,morning)
  room(cs157,g200)
  time(cs157,afternoon)
  room(cs161,g300)
  time(cs161,evening)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Operations Definitions
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

select(room(E),R) :: distinct(R,unknown) ==> room(E,R)
select(room(E),R) :: room(E,O) ==> ~room(E,O)
select(room(E),R) :: room(OE,R) & time(E,T) & time(OE,T) ==> ~room(OE,R)

select(time(E),T) :: distinct(T,unknown) ==> time(E,T)
select(time(E),T) :: time(E,O) ==> ~time(E,O)
select(time(E),T) :: time(OE,T) & room(E,R) & room(OE,R) ==> ~time(OE,T)

select(event(R,T),E) :: distinct(E,unknown) ==> room(E,R) & time(E,T)
select(event(R,T),E) :: room(O,R) & time(O,T) ==> ~room(O,R) & ~time(O,T)
select(event(R,T),E) :: room(E,OR) & time(E,OT) ==> ~room(E,OR) & ~time(E,OT)

value(room(E),R) :- room(E,R)
value(time(E),T) :- time(E,T)
value(event(R,T),E) :- room(E,R) & time(E,T)

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%