Function TestTemporalFactStoreAdapter

factstore/temporal_test.go:439–482

(t *testing.T)

}

func TestTemporalFactStoreAdapter(t *testing.T) {
	temporal := NewTemporalStore()

	// Add some temporal facts
	alice := ast.NewAtom("employed", name("/alice"))
	bob := ast.NewAtom("employed", name("/bob"))

	temporal.Add(alice, ast.TimeInterval(
		ast.Date(2020, 1, 1),
		ast.Date(2023, 12, 31),
	))
	temporal.Add(bob, ast.TimeInterval(
		ast.Date(2022, 1, 1),
		ast.Date(2099, 12, 31),
	))

	// Test adapter without time constraint
	adapter := NewTemporalFactStoreAdapter(temporal)

	query := ast.NewQuery(ast.PredicateSym{Symbol: "employed", Arity: 1})
	count := 0
	adapter.GetFacts(query, func(a ast.Atom) error {
		count++
		return nil
	})

	if count != 2 {
		t.Errorf("Adapter without time: count = %d, want 2", count)
	}

	// Test adapter with time constraint
	queryTime := ast.Date(2021, 6, 15)
	adapterAt := NewTemporalFactStoreAdapterAt(temporal, queryTime)

	count = 0
	adapterAt.GetFacts(query, func(a ast.Atom) error {
		count++
		return nil
	})

	if count != 1 {
		t.Errorf("Adapter at 2021-06-15: count = %d, want 1 (only alice)", count)
	}
}

func TestTemporalFactStoreAdapter_Add(t *testing.T) {
	temporal := NewTemporalStore()