В 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 могут быть еще друзья и люди.
В популярном .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
Как я могу решить это?