Next: Acrescentar argumentos Up: As DCGs como analisadores Previous: A sintaxe das DCGs

Invocar uma DCG

Depois de construída uma DCG e consultada a base de conhecimento correspondente, podemos invocá-la através do predicado correspondente ao símbolo não terminal inicial da gramática. Para a DCG que construímos podemos chamar o predicado frase da seguinte maneira:

         ?- frase([o,homem,vira,o,disco],[]).
            yes