如何解决Prolog跨模块统计子句时的is/2实例化错误？

你的代码场景 #

list.pl 模块 #

:- module(list, [people/1, friend/2]).
people([a, b, c, d, e]).
friend(a, c).
friend(b, c).
friend(c, d).
friend(c, e).

注：该模块中可能包含更多friend关系和people数据

popular.pl 模块 #

:- module(popular, [friendCount/2]).
:- [list].

sum(A, B, S) :- S is A+B.

aggregate_all(count, friend(X, Y), Count).

friendCount(Person, Count) :-
    aggregate_all(count, friend(Person, X), C1),
    aggregate_all(count, friend(X, Person), C2),
    sum(C1,C2,Count).

问题重现 #

你期望执行查询：

?- friendCount(c, Count).
Count = 4.

但实际得到错误：

ERROR: is/2: Arguments are not sufficiently instantiated

问题原因与修复方案 #

核心问题1：自定义sum/3的冗余与潜在问题 #

Prolog的is/2要求右侧表达式必须完全实例化（也就是所有变量都是确定数值），虽然你的C1和C2会被aggregate_all赋值，但其实完全没必要自定义sum/3——直接在friendCount里完成数值计算更稳妥。

核心问题2：游离的aggregate_all语句 #

你代码里那行单独的aggregate_all(count, friend(X, Y), Count).是游离在任何谓词之外的，模块加载时它会自动执行，此时Count没有被绑定，直接触发了参数未实例化的错误，这行代码完全是多余的，必须删掉。

修复后的完整popular.pl #

:- module(popular, [friendCount/2]).
:- [list].

friendCount(Person, Count) :-
    aggregate_all(count, friend(Person, X), C1),
    aggregate_all(count, friend(X, Person), C2),
    Count is C1 + C2.

现在再执行?- friendCount(c, Count).，就能得到你预期的Count = 4.结果了。

额外说明 #

aggregate_all/3会把匹配到的关系数量直接绑定到第三个参数上，所以C1和C2在执行Count is C1 + C2时已经是确定的整数，完全满足is/2的实例化要求，不会再触发错误。

内容的提问来源于stack exchange，提问作者oldboy123