%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% THE INTRO TO AI SHOW
%%% Summer Session I 1999
%%%
%%% DEMO (trivial):
%%% Using the $ANSWER trick IN Otter to get info back
%%% Will be needed for our approach to ideal planning
%%% using the situation calculus.
%%%
%%% Selmer Bringsjord
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

set(auto).
formula_list(usable).

% Initial State:  At home in initial situation:
At(ahome,as0).

% A pretend action that bypasses the result function.
% The idea is that driving when you're located at home
% results in your being at the theatre.
all x (At(ahome,x) -> At(atheatre,drive(x))).

% Goal State is exists x At(atheatre,x):
-(exists x (At(atheatre,x) & $ANSWER(x))).

end_of_list.