prolog - 如何在Prolog中截断文件长度？

Question

如何在 Prolog 中截断文件长度？

我只在 ISO 中找到 set_stream_position/2 谓词标准。但我没有找到 set_stream_length/2 谓词在主要的 Prolog 系统中。

同样有一个流属性position/1，但是我没有看到 length/1 流属性。后者将有助于使用set_stream_length/2。

解决方法是什么？

再见

Answer 1

我想我明白了!

参见this页...

在@false注释后编辑，这里是封装代码的草图:

set_file_size(Path, Size) :-
    setup_call_cleanup(
        open(Path, update, S),
        (   stream_property(S, reposition(true)),
            % stream_property(S, position(Q)),
            % set_stream_position(S, Q),
            seek(S, Size, bof, Size),
            set_end_of_stream(S)
        ),
        close(S)).

这可行，但依赖于 seek/4 内置。我无法完全确定此类调用 WRT ISO 合规性的状态。它列在 ISO IO 下，但未标记为合规...

这 2 行注释让我可以检查不透明术语位置/1。有一个stream_position_data查询值。