It’s been a long time, has this continuation serialization been attempted? Even a library which covers only the case without attributed variables and such would be useful to me, and I would be happy to improve the library while trying it for my use case. I guess goals, choicepoints and bindings would need to be captures properly (which continuations do properly), as clauses and such are already covered by qsave_program. Please let me know if/what exists already in this regard.
Best regards,
Patrick