saving, restoring prolog state in binary form

[Mayuresh]

Hi

I am writing a meta interpreter to implement forward chaining in prolog.
The meta interpreter is compiled into a binary. The data (facts) are
provided to this binary through stdin and the results (derived facts)
are put on stdout using listing predicate.

I am looking for an efficient way to store the state of the meta
interpreter on disk and load it in a subsequent session. Currently I
save the listing into a file and consult (or feed through stdin) this
file in the next session.

But is there any way the prolog state could be saved and restored in
binary form? Guess, this could make the store/load operations much
faster than the above approach.

Regards,
Mayuresh.