如何在prolog中使用repeat/0打印一组数字？

Question

在exercice我必须编写打印数量< N使用重复/ 0谓词，这里是我曾尝试：

loop(N) :- 
    repeat, 
     write(N), nl, 
     N is N-1, 
     write(N), 
     N > 0, 
    !. 

，但只打印给定数量N个不休。

任何想法如何实现这个使用repeat/0？谢谢

Answer 1

什么：

loop(N) :- 
     between(1, N, X), 
     writeln(X), 
     false. 

Answer 2

你可以使用断言/收缩例如

:- dynamic value/1. 
loop(N) :- 
    retractall(value(_)), 
    assert(value(N)), 
    repeat, 
      retract(value(V)), 
      writeln(V), 
      V1 is V - 1, 
      assert(value(V1)), 
      V = 0, 
    !. 

Answer 3

我终于使它工作使用谓词between/3这是我的最终代码：

loop(N) :- 
    repeat, 
     between(1, N, X), 
     writeln(X), 
     X = N, 
    !. 

编辑： 为@CookieMonster说，repeat/0是不需要的，所以这里是最后一个版本的代码：

loop(N) :- 
     between(1, N, X), 
     writeln(X), 
     false. 

Answer 4

你原来不因种种原因工作，但在特定的

loop(N) :- 
    repeat, 
     write(N), nl, 
     N is N-1,    <--- no! 
     write(N), 
     N > 0, 
    !. 

“是”统一，如果左边是右边的数学结果。 左侧将被绑定到右侧。 一旦你在Prolog中设置了它，你就不能改变它的值。

Answer 5

Abderrahmane问及如何减少。

两种方法来做到这一点。大多数人会做

dec(0). 
dec(N) :- 
    write(N), nl, 
    NewN is N - 1, 
    dec(NewN). 

如果你坚持一个失败的驱动循环，如何

dec(N) :- 
    between(1,N,X), 
    Dec is 11 - X, 
    write(Dec), nl, 
    Dec = 1. 

或者，这是丑陋和坏的风格（慢如糖蜜）：

dec(N) :- 
     assert(current_n(N)), 
     repeat, 
     current_n(Y), 
     write(Y), nl, 
     NewY is Y - 1, 
     retractall(current_n(_)). 
     assert(current_n(NewY)), 
     Y > 0. 

Answer 6

我会介绍一个服务谓词

isint(I) :- I = 0 ; isint(T), I is T + 1. 

这是需要在新的变量范围内（实际上解决了Anniepoo在她的第一个响应中强调的点）。

然后，我可以写

loop(N) :- 
    repeat, 
    isint(I), 
    write(I), nl, 
    I >= N, !. 

Answer 7

我会专注于一个可选的解决方案，因为早些时候的评论已经凸显与原来的解决方案的问题。

loop(N):- 
    repeat, 
    (between(1,N,X), 
     write(X), nl, 
     fail, 
    ; !).