criminal(X) :- american(X),

����� ����� weapon(Y),

����� ����� nation(Z),

����� ����� hostile(Z),

����� ����� sells(X,Z,Y).

owns(nono,X).

missile(X).

sells(west,nono,X) :- owns(nono,X),

����� ����� missile(X).

weapon(X) :- missile(X).

hostile(X) :- enemy(X,america).

american(west).

nation(nono).

enemy(nono, america).

nation(america).

?- criminal(west).