A.9 Defining Definite Clause Grammars

The
defgrammar
macro can be used to define a definite clause grammar (DCG), which is a relation that determines whether the start of a list of tokens (a
sentence
) matches a particular grammar. The remaining tokens in the list become the
sentence tail
.