Definite Clause Grammars

Definite Clause Grammars are available in DyALog using the standard notations,

Terminals to be recognized may be provided either by a PROLOG list or a set of tokens. A token has the form 'C'(Left,T,Right) and means that a terminal L is present between the markers Left and Right. Anything may be used as markers, may integers are usually employed.

phrase(:Phrase,?List,?Remainder)

phrase(:Phrase,?Left,?Right)

According to the current grammar rules, Phrase is found between List and Remainder for the first form and the markers Left and Right for the second form.