Struct TemporalAtom

ast/temporal.go:483–486

TemporalAtom wraps an Atom with an optional temporal annotation. This is used in clause heads and premises to represent temporally-annotated facts.

// TemporalAtom wraps an Atom with an optional temporal annotation.
// This is used in clause heads and premises to represent temporally-annotated facts.
type TemporalAtom struct {
	Atom     Atom
	Interval *Interval // nil means eternal (no temporal annotation)
}

func (ta TemporalAtom) isTerm() {}