Nota:
El acceso a esta página requiere autorización. Puede intentar iniciar sesión o cambiar directorios.
El acceso a esta página requiere autorización. Puede intentar cambiar los directorios.
la regla de inferencia no puede tener dependientes
Observaciones
Los dos puntos (:) de una regla de inferencia deben ir seguidos de uno de estos:
Carácter de nueva línea
Punto y coma (;), que puede ir seguido de un comando
Signo de número (#), que puede ir seguido de un comentario