%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 
% INTRODUCTION TO AI, Summer 1999
% Selmer Bringsjord
%
% "Catching Colonel West" (from Russell & Norvig's AIMA, pp.
% 269-70) in Otter
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

set(auto).

formula_list(usable).

% It is a crime for an American to sell weapons to hostile nations:
all x all y all z ((American(x) & Weapon(y) & Nation(z) &
  Hostile(z) & Sells(x,z,y)) -> Criminal(x)).

% Nono has some missiles:
exists x (Owns(anono,x) & Missile(x)).

% All of its missiles were sold to it by Colonel West:
all x ((Owns(anono,x) & Missile(x)) -> Sells(awest,anono,x)).

% Missiles are weapons:
all x (Missile(x) -> Weapon(x)).

% An enemy of America counts as hostile:
all x (Enemy(x,aamerica) -> Hostile(x)).

% West is an American:
American(awest).

% Nono is a country (or nation):
Nation(anono).

% Nono is an enemy of America:
Enemy(anono,aamerica).
Nation(aamerica).

-Criminal(awest).


end_of_list.