protocol

interval_algebra_protocol

Allen interval algebra protocol over the 13 base relation atoms.

Availability:

logtalk_load(intervals(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-05-13

Compilation flags:

static

Dependencies:

(none)

Remarks:

(none)

Inherited public predicates:

(none)

Public predicates

relation/1

Enumerates valid Allen base relation atoms in canonical order.

Compilation flags:

static

Template:

relation(Relation)

Mode and number of proofs:

relation(?atom) - zero_or_more

---

converse/2

Relates an Allen base relation atom with its converse relation atom.

Compilation flags:

static

Template:

converse(Relation,Converse)

Mode and number of proofs:

converse(?atom,?atom) - zero_or_more

---

compose/3

Returns the canonical ordered list of Allen base relation atoms resulting from composing two Allen base relation atoms.

Compilation flags:

static

Template:

compose(Relation1,Relation2,Relations)

Mode and number of proofs:

compose(+atom,+atom,-list(atom)) - zero_or_one

---

Protected predicates

(none)

Private predicates

(none)

Operators

(none)

See also

interval_protocol, interval, interval_algebra, interval_relation_set_protocol, interval_relation_set