Dewey Indexing of Prolog Traces