年龄词prob | em在prolog中

我知道：
尼克= 2 *凯特
(Kate Lea)= 2 *尼克
(Chris Nick)= 2 *(Kate Lea)
阿什利= 24
Ashley Kate Lea = 2 *(Chris Nick)

取消一些后,我发现：
Ashley = 12 * Kate =>凯特= 2
Lea = 3 * Kate => Lea = 6
尼克= 2 *凯特=>尼克= 4
克里斯= 6 *凯特=>克里斯= 12

我试过这个：

:- use_module(library(clpfd)).

ages(As) :-
   As = [Ashley, Lea, Nick, Chris, Kate],
   Ashley #= 24,
   12 * Kate #= Ashley,
   Lea #= 3*Kate,
   Nick #= 2*Kate,
   Chris #= 6*Kate.

输出：

Ashley = 24,
Chris = 12,
Kate = 2,
Lea = 6,
Nick = 4

上面的解决方案工作正常,但老师告诉我,我不能使用取消.我有点困惑,因为没有取消它不起作用.

:- use_module(library(clpfd)).

ages(As) :-
   As = [Ashley, Lea, Nick, Chris, Kate],
   Ashley #= 24,
   Lea + Kate #= 2 * Nick,
   Chris + Nick #= 2 * (Kate + Lea),
   Nick #= 2 * Kate,
   Ashley + Kate + Lea #= 2*(Nick + Chris).

输出：

Ashley = 24,
Lea+Kate+24#=2*Nick+2*Chris,
Chris+Nick#=2*Lea+2*Kate,
Lea+Kate#=2*Nick,
2*Kate#=Nick

有任何想法吗？

如果您按原样调用年龄/ 1,则会得到剩余目标(有关详细信息,请参阅 CLP(FD)文档)作为答案：

?- ages(As).
As = [24, _G1642, _G1645, _G1648, _G1651],
_G1642+ -2*_G1645+ -2*_G1648+_G1651#= -24,
-2*_G1642+_G1645+_G1648+ -2*_G1651#=0,
_G1642+ -2*_G1645+_G1651#=0,
2*_G1651#=_G1645.

为了获得实际数字,您必须限制数字的范围并随后标记.由于已知没有人达到200年,因此0至200的年龄限制似乎是合理的.然后您的查询提供实际数字作为答案：

?- ages(As), As ins 0..200, label(As).
As = [24, 6, 4, 12, 2].

这解决了您的直接问题.但是,我想补充两点.首先,它产生更清晰可读的代码,以将域限制和标记部分与描述实际关系的谓词分开.其次,它有助于结果的可读性在列表中具有成对的名称年龄.为了说明这些点,我们定义一个谓词年龄2/1,它调用核心关系age2_ / 2,然后限制和标记年龄.核心关系将年龄与名称分开,并在第二个列表中提供所述年龄,毕竟这些是您要标记的变量.这允许您在调用谓词年龄2/1的单个列表中具有任意复杂的术语.随后,您可以像在年龄/ 1中一样发布约束.将这些想法放在一起可能看起来像这样：

ages2(NAs) :-
   ages2_(NAs,As),
   As ins 0..200,
   label(As).

ages2_(NAs,As) :-
   NAs = [ashley-Ashley, lea-Lea, nick-Nick, chris-Chris, kate-Kate],
   As = [Ashley, Lea, Nick, Chris, Kate],
   Ashley #= 24,
   Lea + Kate #= 2 * Nick,
   Chris + Nick #= 2 * (Kate + Lea),
   Nick #= 2 * Kate,
   Ashley + Kate + Lea #= 2*(Nick + Chris).

?- ages2(As).
As = [ashley-24, lea-6, nick-4, chris-12, kate-2].