Joan Espasa

Any update on this?

I see. Pardon my inexperience with BNFs and parsing in general, but shouldn't that be acceptable from the definition of the bulit-in 2-ary = predicate (in case the :equality requirement...

My experience with object-fluents has been always positive, as in some sense it lets you express problems more compactly, and in this area, all state-space reductions are more than welcome....