[Next] [Up] [Previous] [Contents]
Next: Goals Up: Formulas Previous: Clauses   Contents

Definite clause grammar bodies


$\displaystyle D$ $\displaystyle ::=$ $\displaystyle A \mid D , D \mid D ; D \mid char \mid string \mid \{G\}$  

A definite clause grammar rule body is either an atomic predicate (representing a nonterminal), sequential composition $ D,D$, disjunciton $ D;D$, a literal character or string (a terminal symbol), or a goal enclosed in braces.


James Cheney 2003-10-23