1

在 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).

list.pl 中可能还有其他朋友关系和人员。

在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

我该如何解决这个问题?

4

0 回答 0