XSB процедуры не применяются /2
Я пытаюсь попасть в HiLog и застрял с самого начала. Даже когда сводится к самому учебному примеру:
:- hilog sum.
sum(X,Y,Z):-Z is X + Y.
:- import bagReduce/4 from aggregs.
f(_):- bagReduce([1,2],Res,sum,0).
компилятор barfs:
[Existence (No procedure usermod : apply / 2 exists)]
Конечно, чего-то очень простого не хватает (действительно ли нужно импортировать заявку? Если да, то откуда?)