PROLOG
FALHA (FAIL)
- Negação por Falha
- “Maria gosta de todos os animais, menos de cobras". Como podemos dizer isto em Prolog? É fácil expressar uma parte dessa declaração: Maria gosta de X se X é um animal, isto é:
- gosta(maria, X) :- animal(X).
mas é necessário ainda excluir as cobras. Isto pode ser conseguido empregando-se uma formulação diferente:
- Se X é uma cobra,
então não é verdade que maria gosta de X
senão se X é um animal, então maria gosta de X.