Dedalus
1 program
Added 2026-03-10T12:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit eba36126a5 · authored 2026-03-10T18:08:36+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Reliable Broadcast
Provenance: commit eba36126a5 · authored 2026-03-10T18:08:36+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
// Reliable broadcast in Dedalus (temporal Datalog for distributed systems)
// From: Alvaro et al., "Dedalus: Datalog in Time and Space", 2011
// A node persists facts it knows across time steps
know(Node, Fact)@next :- know(Node, Fact);
// When a message is received, the node learns it
know(Node, Msg)@next :- recv(Node, Msg);
// A node sends a known message to each neighbor (async = non-deterministic future)
send(Neighbor, Msg)@async :- know(Node, Msg), neighbor(Node, Neighbor);
// Deliver the message to the application layer
deliver(Msg) :- know(Me, Msg), myNode(Me);