PROBCORE-64 Can now ask prolog for all state ids for which a given predicate is true.