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)