interval_constraint_network — Logtalk 3.100.1

object

# `interval_constraint_network`

Allen interval constraint-network operations built on canonical relation sets, intended for small-to-medium symbolic networks.

Availability:
`logtalk_load(intervals(loader))`
Author: Paulo Moura
Version: 1:0:0
Date: 2026-05-13
Compilation flags:
`static, context_switching_calls`
Implements:
`public` interval_constraint_network_protocol
Uses:
interval_relation_set
list
Remarks:
(none)
Inherited public predicates:
consistent/1 constraints/2 contradiction/2 contradiction_explanations/2 entailment_explanations/5 entails/4 entails/5 equivalent/2 excluded/4 network/1 new/2 nodes/2 path_consistency/2 possible/4 propagate/2 propagate/3 propagation_triple/2 propagation_triples/2 refine/5 refine_propagate/3 refine_propagate/4 refine_propagate/5 refine_propagate/6 relation/4 subsumes/2

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)