The tough part is finding a tidy syntax for representing said bidirectional cyclic graphs.

A programming language with support for arbitrary graph literals would make me happy.