我正试图进入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)]
肯定缺少一些非常基本的东西（是否真的必须进口？如果是这样的话 - 从哪里来？）