When you write this code:
OperatorEdges(src, dest) :- OperatesEvent(src), ChannelsEvent(src_id, dest_id, scope_addr), [..scope_addr, src_id] == src, OperatesEvent(dest), [..scope_addr, dest_id] == dest.
Is this intended as pseudo-code, or is this real code for a language within Timely Dataflow, or is this a differential-datalog?
It’s pretty much ddlog code, I just added the splat patterns ([..scope_addr]) since it’s easier to write and understand
[..scope_addr]
When you write this code:
Is this intended as pseudo-code, or is this real code for a language within Timely Dataflow, or is this a differential-datalog?
It’s pretty much ddlog code, I just added the splat patterns (
[..scope_addr]
) since it’s easier to write and understand