DCGs - Gramática de Cláusulas Definidas - Parte 02

Explicando como as regras de DCG's são traduzidas para Prolog
h -- b1, b2, .... bn. Reescrito por:
h(To,Tn) ←
b1(To,T1) and
b2(T1,T2) and
………………………
bn(Tn-1,Tn).
Este vídeo está bem detalhado com o encadeamento de listas, para construção de árvores sintáticas.
Como funcionam as árvores em sua entrada ora gerando frases, ora anexando saídas VÁLIDAS.
Vídeo refeito ... porém como os demais, sem cortes ou edições!!!
Os códigos em:
github.com/cla...