Re:Bloom Programming Language
by sriram_malhar on Saturday May 12, 2018 @12:35PM
(#17054800)
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:
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-...