Extensão correta nos arquivos prolog.