recordz_at/3¶

"recordz_at(+ R0, T,- R" )

Makes term T the record following record with reference R0, and unifies R with its reference.