Nota
O acesso a esta página requer autorização. Pode tentar iniciar sessão ou alterar os diretórios.
O acesso a esta página requer autorização. Pode tentar alterar os diretórios.
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