| Did you know ... | Search Documentation: |
 | Predicate non_terminal/1 |
Availability:built-in
non_terminal :PredicateIndicator,
...non_terminal attribute on the predicate. This
indicates that the predicate implements a grammar rule.
Currently, predicates that are exported using Name//Arity
syntax are flagged as non-terminals. Ideally we should add this flag to
any predicate created from the expansion of a -->