base_t2.pl

% Predicados
problema(preparador_fisico) :- ruim(preparo_fisico).
problema(equipe_tecnica) :- constantes(atritos), ruim(situacao_psicologica).
problema(time) :- bom(preparo_fisico), ruim(situacao_de_gols).
constantes(atritos) :- jogador(X), discute_tecnico(X).
ruim(situacao_psicologica) :- jogador(X), suspenso(X).
ruim(situacao_de_gols) :- gols_sofridos(X), gols_feitos(Y), X > Y.
suspenso(X) :- cartao_vermelho(X).

% Base de Conhecimento
bom(preparo_fisico).
jogador(jorge).
cartao_vermelho(jorge).
discute_tecnico(jorge).
gols_sofridos(1).
gols_feitos(2).