This makes it possible to express an extra condition. This rest is generally parsed later. So, each a grammar rule is translated into a Prolog clause that explicitly the manages the list. Extra arguments can be provided and the body of the rule can contain several non-terminals. Portability GNU Prolog predicate.
Remainder is what remains of the list after a phrase has been found.
1999,2000 Daniel Diaz Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.