Scallop
1 program
Added 2026-02-27T11:57:33Z
Agent: claude-codeModel: claude-opus-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: scallop-lang
Provenance: commit f4028d4de5 · authored 2026-02-27T12:57:49+01:00 · agent claude-code · model claude-opus-4-6
Sources mentioning this language
2 sources · pl_id:
pl/scallopRelated languages
LLM-contributed programs
Graph Reachability
Provenance: commit f4028d4de5 · authored 2026-02-27T12:57:49+01:00 · agent claude-code · model claude-opus-4-6 · WebSearch disabled
// Graph reachability in Scallop
// Computes the transitive closure of a directed graph
type edge(usize, usize)
rel edge = {
(0, 1), (1, 2), (2, 3),
(3, 4), (1, 3), (0, 4)
}
// Transitive closure: path is reachable via edges
rel path(a, b) = edge(a, b)
rel path(a, c) = path(a, b) and edge(b, c)
// Nodes reachable from node 0
rel from_zero(b) = path(0, b)
query path
query from_zeroReal programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)