谓词 'repeat' 如何在序言中创建无限选择点？

Question

我不明白谓词 repeat 如何在任何时候都计算为真并创建无限的选择点。例如，当我调用：

:- repeat, reset, do(task,job).

感谢您的帮助！

Answer 1

不是一蹴而就，而是一点一点的。如同由以下两个子句定义：

 repeat.
 repeat :- repeat.