Fato

Em PROLOG, fatos são usados para assumir que coisas são incondicionalmente verdadeiras, em alguma situação de interesse.

Por exemplo, para assumir que André e Marcos são homens e que Maria e Elaine são mulheres, pode-se usar os seguintes fatos:

1
2
3
4

homem(marcos).
homem(andré).
mulher(elaine).
mulher(maria).

Também é possível criar fatos sem parâmetros. Por exemplo, se quisermos criar um fato para dizer que o time do Brasil está jogando:

1

brasilJogando.