Function TestIntegration_TemporalStoreAndQuery

engine/temporal_integration_test.go:188–268

(t *testing.T)

}

func TestIntegration_TemporalStoreAndQuery(t *testing.T) {
	// Create a temporal store
	store := factstore.NewTemporalStore()

	// Add temporal facts
	aliceActive := ast.NewAtom("active", name("/alice"))
	bobActive := ast.NewAtom("active", name("/bob"))

	// Alice was active from Jan 1-15, 2024
	store.Add(aliceActive, ast.TimeInterval(
		ast.Date(2024, 1, 1),
		ast.Date(2024, 1, 15),
	))

	// Bob is active from Jan 10-31, 2024
	store.Add(bobActive, ast.TimeInterval(
		ast.Date(2024, 1, 10),
		ast.Date(2024, 1, 31),
	))

	tests := []struct {
		name       string
		evalTime   time.Time
		wantActive []string
	}{
		{
			name:       "Jan 5: only Alice active",
			evalTime:   ast.Date(2024, 1, 5),
			wantActive: []string{"/alice"},
		},
		{
			name:       "Jan 12: both active",
			evalTime:   ast.Date(2024, 1, 12),
			wantActive: []string{"/alice", "/bob"},
		},
		{
			name:       "Jan 20: only Bob active",
			evalTime:   ast.Date(2024, 1, 20),
			wantActive: []string{"/bob"},
		},
		{
			name:       "Feb 1: no one active",
			evalTime:   ast.Date(2024, 2, 1),
			wantActive: []string{},
		},
	}

	for _, test := range tests {
		t.Run(test.name, func(t *testing.T) {
			te := NewTemporalEvaluator(store, test.evalTime)

			query := ast.NewAtom("active", ast.Variable{Symbol: "X"})
			tl := ast.TemporalLiteral{
				Literal:  query,
				Operator: nil,
				Interval: nil,
			}