Soufflé
1 program
Added 2026-03-10T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Souffle
Provenance: commit b761bca187 · authored 2026-03-10T11:08:48+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
2 sources · pl_id:
pl/souffleRelated languages
LLM-contributed programs
Graph Reachability and Cycle Detection
Provenance: commit b761bca187 · authored 2026-03-10T11:08:48+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
.decl edge(from:symbol, to:symbol)
.decl reachable(from:symbol, to:symbol)
.decl on_cycle(node:symbol)
edge("a", "b").
edge("b", "c").
edge("c", "d").
edge("d", "b").
edge("e", "f").
reachable(x, y) :- edge(x, y).
reachable(x, z) :- reachable(x, y), edge(y, z).
on_cycle(x) :- reachable(x, x).
.output reachable
.output on_cycle
Real 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.)