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