首页
标签
prolog-coroutining
在 Prolog 中处理 "residual goals" 的方法是什么？
frozen/2 的意外行为
SWI-Prolog：如何在 when/2 中使用我自己的谓词作为条件
删除列表中的前导 s(s(0))
关于混合 Prolog 协程（freeze/2、when/2）和 DCG
freeze/2 个目标阻止了无法访问的变量
在序言中冻结目标
冻结多个变量
Prolog 中的协程：当参数是列表时（它具有固定长度）