我正试图进入 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 吗?如果是这样 - 从哪里开始?)