would be cool to get this working with Spin (maybe via Redis?) https://github.com/trealla-prolog/trealla#persistenceexperimental