Question

vertex(1).
vertex(2).
vertex(3).
vertex(4).

color(1).
color(2).
color(3).

edge(1,2).
edge(1,3).
edge(1,4).
edge(2,4).
edge(3,4).
edge(X,Y):-edge(Y,X).

getelement(1,[Z|_],Z).
getelement(X,[Z|Zs],M):-K is X-1,getelement(K,Zs,M).

check(Z):-edge(X,Y),getelement(X,Z,M),getelement(Y,Z,N),M=:=N,!,fail.


getcolor(1,red).
getcolor(2,blue).
getcolor(3,green).


colorit([A,B,C,D]):-color(A),color(B),color(C),color(D),write([A,B,C,D]),check([A,B,C,D]),write([A,B,C,D]).

这是我的代码。它没有被终止的问题。但是代码中的逻辑很明确，如果您发现问题所在，请帮助我进行纠正。

输入：-colorit（Z）。

output:- [1, 1, 1, 1]
[1, 1, 1, 2]
[1, 1, 1, 3]
[1, 1, 2, 1]
[1, 1, 2, 2]
[1, 1, 2, 3]
[1, 1, 3, 1]
[1, 1, 3, 2]
[1, 1, 3, 3]
[1, 2, 1, 1]
[1, 2, 1, 2]
[1, 2, 1, 3]
[1, 2, 2, 1]
[1, 2, 2, 2]
[1, 2, 2, 3]

直到这里[1,2,2,3]才是真正的解决方案，它处于循环中，而不是通过返回true终止。仅需要进行一些小的更正。请帮帮我。

Answer 1

关于代码的一些注释：

规则edge(X,Y):-edge(Y,X).创建了一个无限搜索树。

代替使用hasEdge(X,Y) :- edge(X,Y) ; edge(Y,X).

这意味着当hasEdge(X,Y)或edge(X,Y)为true时edge(Y,X)为true。然后将edge谓词中check的用法替换为hasEdge。
您对check的定义没有提供肯定的情况。您说：当顶点X和Y之间有一条边使得着色列表X的第Y和第Z个元素相等时，然后失败。但是，如果不满足此条件，则无法提供check为真的方式，因此此路径也会失败。为此，在您的check(Z).规则后的{em>之后添加check声明（类似于您如何定义not谓词，请参见here）。甚至更短，您可以完全删除失败路径，而在定义not中使用colorize。

基于这些观察，您的程序可以重写为（我跳过了事实）：

hasEdge(X,Y):-edge(X,Y) ; edge(Y,X).

getelement(1,[Z|_],Z).
getelement(X,[Z|Zs],M):-K is X-1,getelement(K,Zs,M).

check(Z):-hasEdge(X,Y),getelement(X,Z,M),getelement(Y,Z,N),M=:=N,!,fail.
check(Z).

colorit([A,B,C,D]):-color(A),color(B),color(C),color(D),check([A,B,C,D]).

或使用not：

hasEdge(X,Y):-edge(X,Y) ; edge(Y,X).

getelement(1,[Z|_],Z).
getelement(X,[Z|Zs],M):-K is X-1,getelement(K,Zs,M).

check(Z):-hasEdge(X,Y),getelement(X,Z,M),getelement(Y,Z,N),M=:=N.

colorit([A,B,C,D]):-color(A),color(B),color(C),color(D),not(check([A,B,C,D])).

Prolog中的图形着色问题：程序未终止

1 个答案: