object
sequence_grammars
Sequence grammars.
Author: Paulo Moura
Version: 0:1:0
Date: 2023-01-30
Compilation flags:
static, context_switching_callsDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
zero_or_more//1
Describes a sequence of zero or more terminals.
Compilation flags:
staticTemplate:
zero_or_more(Terminals)Mode and number of proofs:
zero_or_more(-list(atomic)) - zero_or_oneone_or_more//1
Describes a sequence of one or more terminals.
Compilation flags:
staticTemplate:
one_or_more(Terminals)Mode and number of proofs:
one_or_more(-list(atomic)) - zero_or_onezero_or_more//0
Describes a sequence of zero or more terminals.
Compilation flags:
staticMode and number of proofs:
zero_or_more - oneone_or_more//0
Describes a sequence of one or more terminals.
Compilation flags:
staticMode and number of proofs:
one_or_more - oneProtected predicates
(none)
Private predicates
(none)
Operators
(none)