%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 
% INTRODUCTION TO AI, Summer 1999
% Selmer Bringsjord
%
% "Curiosity Killed the Cat" (from Russell & Norvig's AIMA, pp.
% 282-83) in Otter
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

set(auto).


formula_list(usable).

exists x (Dog(x) & Owns(ajack,x)).
all x ( (exists y (Dog(y) & Owns(x,y))) -> AnimalLover(x)).
all x (AnimalLover(x) -> (all y (Animal(y) -> -Kills(x,y)))).
Kills(ajack,atuna) | Kills(acuriosity,atuna).
Cat(atuna).
all x (Cat(x) -> Animal(x)).

-Kills(acuriosity,atuna).


end_of_list.