Describir: Programas logicos y gramaticas libres de contexto