[Edit to add examples] I’m trying to table a predicate of specializations (like a class hierarchy) where the order of backtracking matters: :- table specializesAll/2. specializesAll(Type, BaseType) :- rel(Type, specializes, BaseType). specializesAll(Type, BaseType) :- rel(IntermediateType…

Are there :- table ordering guarantees?

swi January 10, 2021, 10:49pm 11

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

2 Likes