Re: [Xsb-users] Missing Memory in Statistics

[<cr...@cs...>]

My preference would be to see it separately, instead of
being lumped under permanent space. Of course, this should
be added to "total space" too. Note that this is a stop-gap
too, until someone takes up the uninteresting (and unrewarding)
task of revamping statistics...

- CR