多个事实的聚合解决方案

尝试创建一个谓词 (timePeriod/2）计算特定事实的两个日期之间的时间段。我已经设法自己做到这一点，但当“其他答案”存在于同一列表中时会遇到问题（即更容易用示例解释）。

我有以下知识基础事实；

 popStar('Jackson',1987,1991).
 popStar('Jackson',1992,1996).
 popStar('Michaels',1996,2000).
 popStar('Newcastle',2000,2007).
 popStar('Bowie',2008,2010).

下面的函数计算特定事实的日期之间的时间（如下所示）。

谓词 (timePeriod/2) -

 timePeriod(PS,X) :-
    bagof((Name,Start,End),popStar(Name,Start,End),PSs),X is End-Start+1)

以鲍伊为例；它返回X=3（哪个是对的）。

然而，当列表中存在重复且有多个可用答案时，谓词仅声明“假”。以事实“杰克逊”为例，我希望能够计算这两个事实的两个时间段；同时。

因此，如果谓词适用于杰克逊的两个事实，则该谓词timePeriod会说明X=10.

如果有人可以建议更改哪些内容以使其正常工作，我将非常感激。

Thanks.

你可能不太明白什么foreach/3做。我不认为我完全理解foreach/3任何一个。我确信它是not和说的一样：

for each x in xs:
    do foo(x)

另一件事：Prolog 中的“元组”并不是您所期望的，它来自 Python 或 Haskell 等语言。这：(a,b,c)实际上是这样的：','(a,','(b,c))。更好的是使用扁平术语，通用形式是triple(a,b,c)。对于一对，习语是First-Second.

因此，您可以简化您的调用bagof/3对此：

?- bagof(From-To, pop_star(Name, Start, End), Ts).
Name = 'Bowie',
Ts = [2008-2010] ;
Name = 'Jackson',
Ts = [1987-1991, 1992-1996] ;
Name = 'Michaels',
Ts = [1996-2000] ;
Name = 'Newcastle',
Ts = [2000-2007].

一旦你有了上面的列表，你需要总结差异，这可能是这样的：

periods_total(Ps, T) :-
    maplist(period_length, Ps, Ls),
    sum_list(Ls, T).

period_length(From-To, Length) :-
    Length is To - From + 1.

然后你可以这样查询：

?- bagof(From-To, pop_star('Jackson', From, To), Ps), periods_total(Ps, T).
Ps = [1987-1991, 1992-1996],
T = 10.

?- bagof(From-To, pop_star(Name, From, To), Ps), periods_total(Ps, T).
Name = 'Bowie',
Ps = [2008-2010],
T = 3 ;
Name = 'Jackson',
Ps = [1987-1991, 1992-1996],
T = 10 ;
Name = 'Michaels',
Ps = [1996-2000],
T = 5 ;
Name = 'Newcastle',
Ps = [2000-2007],
T = 8.