Programación dirigida por sintaxis.

1. Gramáticas y autómatas

A continuación se presenta la gramática de PROLOG y el autómata que vimos en clase. Hay que terminar de desarrollar los elementos marcados -->así<-- en el autómata buscando en la gramática la regla de producción correspondiente.

2. Codificación de hechos.

Procesa el objeto de la siguiente figura con el autómata de PROLOG, para obtener una cláusula, (una línea de código) de tipo hecho que deriva en un átomo llamado 5CM2 que recibe dos términos como argumentos, Andrea y Miguel, quienes a su vez reciben 3 términos como argumentos cada uno, las materias, términos que a su vez reciben un argumento más cada uno, las calificaciones.