1

% utente 14 tem morada que ninguém pode conhecer

utente( 14, 'Rita', 27, morada_desconhecida).
excecao(utente(IdUt, Nome, Idade, morada_desconhecido)) :-utente(IdUt, Nome, Idade, morada_desconhecido).
nulo(morada_desconhecido).
+utente(IdUt, Nome, Idade, Morada) :: (solucoes((IdUt, Nome, Idade, Morada), (utente(14, 'Rita', 27,Morada),nao(nulo(Morada))),S),
                            comprimento( S,N ),
                            N == 0).

% utente 15 tem nome que ninguém pode conhecer

utente(15, nome_desconhecido, 30, 'Guimaraes').
excecao(utente(IdUt, Nome, Idade, Morada)) :- utente(IdUt, nome_desconhecido, Idade, Morada).
nulo(nome_desconhecido).
+utente(IdUt, Nome, Idade, Morada) :: (solucoes((IdUt, Nome, Idade, Morada), (utente(15,Nome, 30, 'Guimaraes'),nao(nulo(Nome))),S),
                            comprimento( S,N ),
                            N == 0).

% cuidado dado ao Utente 8 pelo Prestador 1 teve um custo desconhecido e não se permite conhecer

cuidado(data(1, 1, 2011), 8,1,'Exames Sanguineos',custo_desconhecido).
excecao(cuidado(data,IdUt,IdPrestador,Descricao,Custo)):-
    cuidado(data,IdUt,IdPrestador,Descricao,custo_desconhecido).
nulo(custo_desconhecido).
+cuidado(data,IdUt,IdPrestador,Descricao,Custo)::( solucoes((data,IdUt,IdPrestador,Descricao,Custo), (cuidado(data(1, 1, 2011), 8, 1,'Exames Sanguineos',custo_desconhecido), nao(nulo(Custo))),S),
                            comprimento( S,N ),
                            N == 0).

% prestador 20 tem um medico com um nome que ninguém pode conhecer

prestador( 20,medico_desconhecido, 'TAC', 'Hospital da Luz').
excecao(prestador(IdPrest, Nome, Especialidade, Instituicao)) :- prestador(IdPrest, medico_desconhecido, Especialidade, Instituicao).
nulo(medico_desconhecido).
+prestador(IdPrest, Nome, Especialidade ,Instituicao) :: ( solucoes((IdPrest, Nome, Especialidade, Instituicao), (prestador(20,Nome, 'TAC', 'Hospital da Luz'), nao(nulo(Nome))),S),
                            comprimento( S,N ),
                            N == 0).