Prolog中at_end_of_stream/0的等待行为是否合规？

这种等待行为是为兼容性与实用性保留的旧特性，并非不合规，具体原因如下：

1. ISO-Prolog标准的灵活定义 #

ISO-Prolog标准规定at_end_of_stream/0用于判断当前输入流是否处于或已越过流末尾，但对于交互式终端这类无明确EOF标记的流，标准并未强制要求实现必须立即返回结果。终端流的末尾状态本身依赖用户主动输入EOF（如Unix的Ctrl+D、Windows的Ctrl+Z），这给了实现方灵活处理的空间。

2. 两类实现的逻辑差异 #

• 以SICStus、GNU Prolog、Scryer Prolog为代表的实现：将“终端当前无输入”直接判定为“未到流末尾”，立即返回no，完全符合标准对“流末尾状态”的核心定义——此时流仍可接收输入，并未真正到达EOF。
• 以SWI-Prolog、Trealla Prolog为代表的实现：延续了早期Prolog系统的行为，调用at_end_of_stream/0时会尝试读取一个字符来确认EOF状态：若能读到字符则放回流中并返回no，若读取到EOF则返回yes。这种等待是为了兼容早期用户的使用习惯，同时避免误判“用户暂时未输入”为“流已结束”的场景。

3. 合规性判定 #

标准并未禁止这种等待行为，只要实现能在流真正到达EOF时返回yes，其余情况返回no，就符合标准要求。这类等待行为属于实现方基于兼容性和实用性做出的合理选择，而非违规设计。

内容的提问来源于stack exchange，提问作者repeat