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)]
確かに非常に基本的なものが欠けています ( apply は本当にインポートする必要がありますか? もしそうなら - どこから? )