6.1 Fatos

A base de um programa lógico consiste de fatos, estes são proposições (declarações lógicas) que não possuem nenhuma regra para sua veracidade, e portanto, são incondicionalmente verdadeiras. A partir da declaração de fatos, podemos estruturar novos fatos, bem como estabelecer relações entre esses, tudo isso através da inferência lógica . O Exemplo 51 ilustra a declaração de alguns fatos em Prolog.

Exemplo 51:

homem(paulo).

homem(lucas).

mulher(maria).

mulher(joana).

pai(paulo, lucas).

pai(paulo, joana).

mae(maria, lucas).

mae(maria, joana).

A primeira linha, por exemplo, afirma que paulo é homem, e a terceira que maria é mulher. Já a quinta linha estabelece que paulo é pai de lucas, ou seja, que a relação pai existe entre esses dois “objetos”. Na programação lógica, identificadores de relacionamentos (e.g., homem, mulher, pai, mae, etc.) são denominados predicados e identificadores de objetos (e.g., paulo, maria, etc.) são denominados átomos. Em Prolog, ambos devem sempre iniciar com letra minúscula.