

day(monday).
day(tuesday).
day(wednesday).
day(thursday).
day(friday).
day(saturday).
day(sunday).

opera(D) :- day(D), not home(D).
home(D) :- day(D), not opera(D).
home(monday).


%!show_trace opera(T).
