Struct TemporalLiteral

ast/temporal.go:537–547

TemporalLiteral represents a literal (atom or negated atom) with an optional temporal operator. This is used in clause premises.

// TemporalLiteral represents a literal (atom or negated atom) with an optional temporal operator.
// This is used in clause premises.
type TemporalLiteral struct {
	// The underlying literal (Atom or NegAtom)
	Literal Term

	// Optional temporal operator (nil if none)
	Operator *TemporalOperator

	// Optional interval annotation for the literal.
	// Can be a variable binding @[T] or a concrete interval @[t1, t2].
	Interval *Interval
}

func (tl TemporalLiteral) isTerm() {}