Function TestTemporalEvaluator_WithVariable

engine/temporal_test.go:165–212

(t *testing.T)

}

func TestTemporalEvaluator_WithVariable(t *testing.T) {
	store := factstore.NewTemporalStore()

	// Add multiple employees with different active periods
	store.Add(ast.NewAtom("active", name("/alice")), ast.TimeInterval(
		ast.Date(2024, 1, 1),
		ast.Date(2024, 1, 15),
	))
	store.Add(ast.NewAtom("active", name("/bob")), ast.TimeInterval(
		ast.Date(2024, 1, 10),
		ast.Date(2024, 1, 25),
	))
	store.Add(ast.NewAtom("active", name("/charlie")), ast.TimeInterval(
		ast.Date(2023, 6, 1),
		ast.Date(2023, 12, 31),
	))

	// Evaluation time: Jan 20, 2024
	evalTime := ast.Date(2024, 1, 20)
	te := NewTemporalEvaluator(store, evalTime)

	// Query: <-[0d, 30d] active(X) - find who was active in last 30 days
	queryAtom := ast.NewAtom("active", ast.Variable{Symbol: "X"})
	operator := ast.TemporalOperator{
		Type: ast.DiamondMinus,
		Interval: ast.NewInterval(
			ast.NewDurationBound(0), // ~0 days ago
			ast.NewDurationBound(30*24*time.Hour),
		),
	}

	tl := ast.TemporalLiteral{
		Literal:  queryAtom,
		Operator: &operator,
	}

	solutions, err := te.EvalTemporalLiteral(tl, unionfind.New())
	if err != nil {
		t.Fatalf("EvalTemporalLiteral error: %v", err)
	}

	// Should find Alice, Bob, AND Charlie
	// (Alice: Jan 1-15, Bob: Jan 10-25, Charlie: Jun-Dec 31 2023)
	// At Jan 20, looking back 30 days (Dec 21 - Jan 20), all three overlap
	if len(solutions) != 3 {
		t.Errorf("Expected 3 solutions (Alice, Bob, and Charlie), got %d", len(solutions))
	}
}

func TestTemporalEvaluator_EternalFact(t *testing.T) {
	store := factstore.NewTemporalStore()