地图着色序言

Question

我写这段代码是为了使用 prolog 解决地图着色问题：

coloring([A,B,C,D,E,F]):-
    maplist(=\=(A),[B,C,D,E]),
    maplist(=\=(B),[C,D,F]),
    C=\=D,
    maplist(=\=(D),[E,F]),
    E=\=F.

我尝试使用查询获得解决方案：

?- coloring(Cs), Cs ins [1,2,3,4], Cs = [1|_].

但我总是收到错误 “参数未充分实例化”，如何解决此问题？

Answer 1

使用#\=/2代替=\=/2，并修复ins/2中的域：

:- use_module(library(clpfd)).

coloring([A,B,C,D,E,F]):-
    maplist(#\=(A),[B,C,D,E]),
    maplist(#\=(B),[C,D,F]),
    C#\=D,
    maplist(#\=(D),[E,F]),
    E#\=F.

样本运行：

?- coloring(Cs), Cs ins 1..4, Cs=[1|_].
Cs = [1, _A, _B, _C, _D, _E],
_A in 2..4,
_A#\=_E,
_A#\=_C,
_A#\=_B,
_B in 2..4,
_B#\=_C,
_C in 2..4,
_C#\=_E,
_C#\=_D,
_D in 2..4,
_D#\=_E,
_E in 1..4.

带有标签：

?- coloring(Cs), Cs ins 1..4, Cs=[1|_], label(Cs).
Cs = [1, 2, 3, 4, 2, 1] ;
Cs = [1, 2, 3, 4, 2, 3] ;
Cs = [1, 2, 3, 4, 3, 1] ;
Cs = [1, 2, 4, 3, 2, 1] ;
Cs = [1, 2, 4, 3, 2, 4] ;
  ...

地图着色序言

Map Coloring Prolog

prolog

clpfd