Is there a way to serialize continuation or program execution state?

[EricGT]

@jan

A Prolog term is one of the usual things (atom, int, …, compound, var). Internally, there is one more thing: references.

Is a reference really a blob? e.g. Blob types