As gramáticas de cláusulas definidas -- DCG's, do inglês ``Definite Clause
Grammar's'' -- constituem uma classe de gramáticas, úteis na construção de
sistemas de língua natural. Uma gramática é definida como um quádruplo
G = (N,T,R,i)
onde N é o conjunto dos símbolos não terminais da gramática; T
o conjunto dos símbolos terminais (N e T são disjuntos); R o
conjunto das regras de produção (ou derivação); e o símbolo inicial da
gramática. As gramáticas são particularmente úteis por dois motivos. Por um lado elas
servem para definir/descrever uma linguagem: a linguagem formada por todas as sucessões
de símbolos terminais que podem ser obtidas por aplicação das regras de produção da
gramática; por outro dão-nos um processo de análise/reconhecimento dessa mesma
linguagem.
De maneira a compreendermos, completamente, uma linguagem, seja ela uma linguagem natural
ou uma linguagem de programação, temos de compreender a sua gramática. As frases de uma
linguagem são formadas por sequências de palavras, palavras essas ordenadas de
acordo com regras específicas. Essas regras fiscalizam o acordo verbal, de género, voz,
etc.