Hilog术语(即具有作为算子任意术语的化合物)是否仍被视为XSB Prolog(或任何其他Prolog)中的强大功能?目前有许多XSB项目正在使用此功能吗?例如他们中的哪一个?
我问,因为据我所知,高阶编程同样可以使用ISO内置调用/ N.
具体来说,我想了解XSB是否仅仅出于历史原因使用Hilog术语,或者如果Hilog术语与当前的ISO标准相比具有相当大的优势.
prolog xsb iso-prolog meta-predicate
iso-prolog ×1
meta-predicate ×1
prolog ×1
xsb ×1