From Datalog to SVG

This is really neat. Reminiscent of how drawio.com can embed the source inside exported PNGs (see also https://github.com/Fusion/pngsource)

I would love to see this approach extended to add some animation too.