redicates
hostile(symbol)
enemy_of_america(symbol)
american(symbol)
criminal(symbol)
sells_missiles(symbol)
country(symbol)
has_missiles(symbol)

criminal(X):-
sells_missiles(X,Y),hostile(Y).
enemy_of_america(X):hostile(X).
enemy_of_america("Iraq").
hostile(X):-country(X).
has_missiles("Iraq").
sells_missiles("George","Iraq").
american("George").
country("Iraq").

goal
criminal(George).