如何在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, 
    ; !).