GP2
1 program
Added 2026-02-27T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Graph Programs 2
Provenance: commit c701177769 · authored 2026-02-27T11:58:08+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
Transitive Closure
Provenance: commit c701177769 · authored 2026-02-27T11:58:08+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
Main = link!
link (a,b,x,y,z: list)
[ (n0, x) (n1, y) (n2, z) |
(e0, n0, n1, a) (e1, n1, n2, b) ]
=>
[ (n0, x) (n1, y) (n2, z) |
(e0, n0, n1, a) (e1, n1, n2, b) (e2, n0, n2, empty) ]
interface = {n0, n1, n2}
where not edge(n0, n2)