Observação
O acesso a essa página exige autorização. Você pode tentar entrar ou alterar diretórios.
O acesso a essa página exige autorização. Você pode tentar alterar os diretórios.
A regra de inferência não pode ter dependentes
Observações
Os dois-pontos (:) em uma regra de inferência devem ser seguidos por um destes:
Caractere de nova linha.
Ponto e vírgula (;), que pode ser seguido por um comando
Sinal de número (#), que pode ser seguido por um comentário