How do I truncate the file length in Prolog?
I only find a set_stream_position/2
predicate in the ISO
standard. But I don't find a set_stream_length/2
predicate
in the major Prolog systems.
Similarly there is a stream property position/1
, but I
don't see nowhere a length/1
stream property. The latter
would help in using set_stream_length/2
.
What would be the workaround?
Bye