Prolog查询结果无结尾句号且无法进入下一问询问题排查

我编写的Prolog程序里，查询某个谓词能得到正确结果，但输出末尾没有句号，也无法进入下一个查询环节。该谓词内部调用了递归谓词，结果内容正确。

当前输出：

1 ?- predicate(1,2,A,B).
A=1,
B=2  

预期输出：

1 ?- predicate(1,2,A,B).
A=1,
B=2.

2 ?-

以下是可能的原因：

• 递归谓词未正确终止：如果递归的终止条件逻辑有缺陷，程序可能陷入“伪终止”状态——表面返回了正确结果，但底层仍在等待回溯或未完全释放查询上下文。比如递归基例虽返回结果，但未彻底切断回溯路径，导致Prolog解释器认为还有潜在解，卡在等待状态，无法输出句号和新查询提示符。
• 存在未完成的自定义I/O操作：若递归过程中手动实现了输出逻辑（而非依赖Prolog默认的结果输出机制），可能打乱解释器的输出流程。比如手动打印变量值后，未让解释器完成正常的查询结束流程，导致末尾句号和新提示符无法生成。
• 自定义谓词干扰系统输出逻辑：如果程序中重定义了write/1这类和输出相关的系统谓词，可能破坏了Prolog解释器默认的结果格式化规则，干扰查询循环的正常推进。
• 系统标志被非法修改：递归过程中若使用set_prolog_flag/2修改了交互模式相关的系统标志，可能关闭了自动添加句号或查询提示符的功能，导致输出异常。
• 递归终态未明确成功/失败：Prolog查询的正常结束需要谓词最终明确地成功或失败。如果递归的最后一步虽返回结果，但仍存在未绑定变量或未处理的回溯点，解释器会停留在当前状态，无法进入下一个查询环节。

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