关于clpfd：PROLOG全部不同

clpfdprolog

PROLOG all different

我对PROLOG有一个很奇怪的问题。我以前用过，但是已经有一段时间了，我很生rust。我有一个变量列表，我需要确保它们都不相同。

我尝试过：

use_module(library(bounds)).
all_different(A, B, C, D, 6, 8).

但是，当我尝试此操作时，出现一条错误消息，提示all_different / 6未定义。

我该如何解决这个问题？我可以为此直接调用任何库函数吗？

我非常困惑，不胜感激。

预先感谢。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

solve([
[A, 6, 1],

[B, 5, C, 2, D, E, F, G, 6],

[6, H, I, 5, J, K, 2, L, 3],

[5, M, 6, N, O, 4, P, Q, 5],

[4, R, S, T, U, 6, V, 4, W],

[2, 0, X]
]) :-
all_different([A,6,1,2,D,E]),
all_different([B,5,C,6,H,I]),
all_different([C,2,D,I,5,J]),
all_different([D,E,F,J,K,2]),
all_different([F,G,6,2,L,3]),
all_different([H,I,5,M,6,N]),
all_different([5,J,K,N,O,4]),
all_different([K,2,L,4,P,Q]),
all_different([5,M,6,4,R,S]),
all_different([6,N,O,S,T,U]),
all_different([O,4,P,U,6,V]),
all_different([P,Q,5,V,4,W]),
all_different([T,U,6,2,1,X]),

A<7, A>0, B<7, B>0, C<7, C>0, D<7, D>0,
E<7, E>0, F<7, F>0, G<7, G>0, H<7, H>0,
I<7, I>0, J<7, J>0, K<7, K>0, L<7, L>0,
M<7, M>0, N<7, N>0, O<7, O>0, P<7, P>0,
Q<7, Q>0, R<7, R>0, S<7, S>0, T<7, T>0,
U<7, U>0, V<7, V>0, W<7, W>0, X<7, X>0.

相关讨论

1	all_different([A,B,C,D,6,8]).

我相信只有一个列表可以传递给all_different。

相关讨论

我试过了，得到了这个错误：未定义的过程：all_different / 1。有什么想法吗？
我认为您仍然有这个：：-use_module(library(bounds))。
我仍然有use_module(library(bounds))
您使用的是什么版本的Prolog？类型和编号。
嗯，我现在知道为什么它不起作用的原因。您可以通过编辑OP发布整个代码段吗？
尝试：-use_module(library(clpfd))。
没有运气。它仍然说：错误：解决/ 1：未定义的过程：all_different / 1
让我们看看是否可以缩小范围。尝试缩减过程，以便唯一的all_different函数读取all_different([A，B，C])。看看是否可行。然后，尝试all_different([1,2,3])。看看是否可行。 1个起作用，另一个不起作用吗？
我通过更改我提供的代码段尝试了您所说的内容。我首先删除了所有数字，以便我的all_different语句中仅包含字母。那给了我同样的错误。所以我摆脱了这一点，这次只用数字再次尝试了一下。我仍然遇到相同的错误。我试过只使用use_module(library(bounds))。并且只有use_module(library(clpfd))。两者兼而有之。到目前为止，似乎没有任何工作。
好吧，我在这台计算机上没有Prolog，但是我将获得它并与all_different混在一起，以了解我能找到什么。
太谢谢你了...真的。这已经让我发疯了一段时间
你有这个文件吗？ C：\\\\ Program Files \\\\ pl \\\\ library \\\\ clp \\\\ bounds.pl注意：您的prolog可能已安装在其他位置。
我正在学校服务器上执行此操作，并且我确定它已正确维护。顺便说一句，它正在运行linux
我会看看您是否可以在prolog库中找到该文件。
当我在/usr/local/packages/pl-5.6.58/lib/pl-5.6.58中通过在UNIX shell中键入" pl"(不带引号)来访问PROLOG解释器时，出现PROLOG提示。在这里，如果我尝试导入clpfd，它将编译约5种不同的东西，并且all_different可以工作。但是，我无法将其添加到我的路径中，也无法将我的代码文件带入该目录(具有权限的问题)。有什么想法吗？
老实说，我不知道。我会与学校网络管理员联系并争取他的帮助。
@凯文·克洛威尔(Kevin Crowell)。谢谢你的帮助。我通过电子邮件发送给系统管理员，告诉她我刚才告诉您的确切信息(尚未回复)。就像您所说的，这是一个管理员问题。再次感谢
@Kevin Crowell：关于我发布的代码，我还有一个问题-因为我的A <7，A> 0等，所以PROLOG是否检查所有可能的AX值，并返回一个配置的Ax。都不同，在1-6之间？
如果有多种解决方案，Prolog会抓住它们。

我想> / 2和

1
2
3
4
5
6
7

?- all_different([X,Y]), 0 #< X, X #< 3, 1 #< Y, Y #< 4, indomain(X), indomain(Y).
X = 1,
Y = 2 ;
X = 1,
Y = 3 ;
X = 2,
Y = 3.

P.S。来自同一个库的indomain / 1会在应用的约束范围内产生所有可行的值。

Eclipse Prolog的" ic"约束库提供谓词alldifferent / 1，该谓词将变量列表作为参数，例如alldifferent([X,Y])并计算所需的内容。