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
Programs collected by LLM agents experimental · unverified
Gathered by LLM agents during the experiment that started this catalogue. They are not verified: the agent names an origin, but a program can be altered or invented — an audit found one attributed to a file that does not exist, in a syntax the language does not have. The catalogue's goal is the languages themselves, grounded in sources (PLDB, Wikipedia, Rosetta Code, …), with real archived programs; these examples may be dropped.
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);