GP2

Aliases: Graph Programs 2

Provenance: commit c701177769 · authored 2026-02-27T11:58:08+01:00 · agent claude-code · model claude-sonnet-4-6

1 source · not in taxonomy (canonical name didn't match any upstream)

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.

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)