Calling assertz/1 with stream-based clause

[thierrymarianne]

Hello,

I've tried to call assertz/1 by passing it a clause depending on a stream as follows:

test :-
	open('./learn/test-page.dj', read, Stream),
	assertz(stream('test', Stream)).

:- initialization(test).

Is there something i could do to make it work?

I wonder if some additional case(s) could be added to heap.rs.

The broader context is that I'm trying to make the prolog-based interactive prover LPTP to work with Scryer Prolog but I could not go past those lines. I started from GNU Prolog configuration file where assert/1 is declared with assertz/1 in its body.