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)