Nota
O acesso a esta página requer autorização. Podes tentar iniciar sessão ou mudar de diretório.
O acesso a esta página requer autorização. Podes tentar mudar de diretório.
regra de inferência não pode ter dependentes
Observações
Os dois pontos (:) numa regra de inferência devem ser seguidos por qualquer um destes:
Caractere de nova linha
Ponto e vírgula (;), que pode ser seguido por um comando
Sinal numérico (#), que pode ser seguido por um comentário