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
どうすればこれを解決できますか?