私の使っているIF/Prologではハッシュは使われていない。
SWI-Prologも同様だとおもう。
PSIではこれは節の参照用だが第一引数に限定して、indexが振られていた。