Dicas Prolog

• Para sair do Prolog: halt.
• Comentários: linha comecando com %
• Para carregar um arquivo: reconsult('nome').
• Ao carregar um arquivo, observe os warnings da forma: "singleton variable in predicate xxx". Neste tipo de aviso, "singleton variable" refere-se a variáveis que aparecem uma vez só numa regra ou fato. Estas ocorrências poderiam ser substituidas por variáveis anônimas, mas o mais provável é que a gente tenha feito um erro tipográfico ao digitar o nome de uma variável.
• Cuidado com infinitos. Ao calcular números muito grandes, tipo 2 ^ fat(7), o interpretador pode colocar infinito como resposta. Pode ser então que uma expressão esteja dando correta simplesmente porque expressa a igualdade entre dois desses infinitos, sendo que as expressões na verdade não são iguais. Mesmo o meu testador comete este tipo de erro. Estou pensando numa forma de capturar este tipo de coisa, mas por enquanto tenham em mente que as avaliações do testador podem ter erros.