%% Book I

%% Societological robot

%% The robot calculates events immediately before an event.

%% events(PriorEvent,tea_is_ready).

events(the_water_is_boiling,tea_is_ready).