Next: A estrutura de uma Up:
dcgs Previous: dcgs
Muita da investigação feita na construção de sistemas com processamento de língua
natural, permitiu concluir que a inferência lógica é um meio poderoso pela qual uma
linguagem pode ser analisada e gerada. A lógica das cláusulas definidas -- um
subconjunto da lógica na qual o Prolog é baseado -- provou ser muito útil na
construção de analisadores e geradores lexicais. Neste capítulo descrevemos o
formalismo das gramáticas em Prolog: as gramáticas de cláusulas definidas.