Are there :- table ordering guarantees?

[swi]

BTW, see this paper for an implementation of tabling that guarantees ordering:

Tabling: Linear Resolution (SLT)

This may be of interest given the new tabling work: SLT-Resolution for the Well-Founded Semantics