Next: Invocar uma DCG Up: As DCGs como analisadores Previous: As DCGs como analisadores

A sintaxe das DCGs

A sintaxe das DCGs é semelhante à sintaxe do Prolog que já conhecemos. Listamos de seguida as regras específicas (ver exemplos à frente):

• Os símbolos não terminais são escritos como qualquer átomo em Prolog.
• Para distinguir os símbolos terminais dos não terminais, uma sequência de símbolos terminais é escrita como uma lista. A lista vazia [] corresponde à sequência vazia.
• A parte esquerda das regras de uma gramática (antes de ->) contêm apenas símbolos não terminais.
• A parte direita das regras (a seguir a ->) podem conter símbolos não terminais e símbolos terminais.
• As alternativas podem ser explicitadas directamente na parte direita de uma regra da gramática, usando o operador de disjunção ; ou então a barra vertical |.
• Podem ser incluídas acções semânticas na parte direita de uma regra. Essas acções semânticas são colocados entre { }. O processo de conversão automático acima referido não altera o que estiver no interior destes parêntesis.
• O cut poder ser incluído na parte direita de uma regra da gramática. Não é necessário colocar o cut no interior de { }.

Next: Invocar uma DCG Up: As DCGs como analisadores Previous: As DCGs como analisadores