No, not in Bloom. The sets must be finite. There is one aspect that is infinite, which is along the time axis. But the way the logic works is that you are neve

No, not in Bloom. The sets must be finite. There is one aspect that is infinite, which is along the time axis. But the way the logic works is that you are never in a position to enumerate all possible behaviours. This is a very superficial answer, and perhaps you'll gain more insight from this paper on the logical semantics: Dedalus: Datalog in Time and Space. https://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-173.html https://www2.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-...