% scenario:
% 1. The train was at the station in Washington D.C at 10:00 AM on March 15.
% 2. The train was scheduled to leave the station at 10:30.

% The train was at the station at 10:00 AM on March 15.

h(at(train,station), 1).

% time information goes in the file: time_constraints.clp
% time(1, month,   3). % \
% time(1, day,    15). %  \
                       %    -> step 1 is mapped onto 10:00 AM on March 15
% time(1, hour,   10). %  /
% time(1, minute,  0). % /

% The train was scheduled to leave the station at 10:30.

% note: normally trains have a fixed route on which they travel
%       therefore the name of the train is synonymous with the
%       name of the trip.

intended(depart(train), 2).

% time information goes in the file: time_constraints.clp
% time(2, month,   3). % \
% time(2, day,    15). %  \
                       %    -> step 2 is mapped onto 10:30 AM on March 15
% time(2, hour,   10). %  /
% time(2, minute, 30). % /