Prolog - 一連の動的オプションをバックトラックする

Question

私はゴールでバックグラウンドをトリガーしようとしていますが、可能な場合は動的に行います。

num(1). 
num(2). 
num(3). 
num(4). 
num(5). 

は、その後、私はSWI-Prologのに向かうと呼ん：良く例示するために、私の問題は、我々は以下のPROLOGコードを持っているとしましょうnum(X)を。 ;と入力すると、すべてのソリューションを探すバックトラッキングがトリガーされます。

私が望むのは、それらの事実（num(1)、num(2)など）を削除し、それらの事実を動的に生成するもので置き換えることです。私がこれを達成できる方法はありますか？一種のもの、おそらく？

num(X):- for X in 1..5 

上記のコードと同じ解決策が得られますか？

私が知る限り、findall述語は私が探しているものではないリストを返します。私はすべての答えをバックトラックして、コンソールで;を使って調べます。

Answer 1

はい、あなたはすでに非常に近いです！

:- use_module(library(clpfd)). 

num(X) :- 
    X in 1..5. 

?- num(X). 
    X in 1..5. 

?- num(X), X #>3. 
    X in 4..5. 

?- num(X), labeling([], [X]). 
    X = 1 
; X = 2 
; X = 3 
; X = 4 
; X = 5. 

Answer 2

SWI-Prologのは、そのための（非ISO）述語between/3があります

num(X) :- between(1, 5, X). 

あなたはこのように（他のプロローグのために、さらに微調整のため）述語を実装できます。

between2(A, A, A) :- !. % green cut 
between2(A, B, A) :- A < B. 
between2(A, B, C) :- 
    A < B, 
    A1 is A + 1, 
    between2(A1, B, C). 

between/3とbetween2/3の両方の署名は(+From,+To,?X)です。これは、FromとToがバインドされていなければならず、Xがバインドされているかどうかを意味します。 FromとToは、From <= Toのような整数でなければなりません。 （ああ、これらの整数は、前にオプションのプラス記号またはマイナス記号をつけてアラビア数字を使って書かなければならず、ASCIIを使って書かなければなりません。通常は無制限の整数サポートでコンパイルされるため、通常between(1, 100000000000000000000000000000000000000000000, X)とbetween2(1, 100000000000000000000000000000000000000000000, X)の両方が動作します）。