[mercury-users] Getting all facts of a predicate [was: Still compiling ...]

Douglas Auclair dauclair at msn.com
Sun Feb 23 13:07:10 AEDT 2003

Dear all,

Hi!  I've got a group of ~6000 facts, "indexed" on an int (the pred has the 
type pred(int::in, composite::out) is semidet where composite contains two 
types of int, string and float, string, float).  The int index ranges from 
1000 to 50000 with the density near each 1000 mark, and the concentration is 
mostly in the first 25000 (i.e. from 1000-25000), the range from 26000-50000 
contains less than 10 entries.

The primary aim of the fact table is to retreive one composite on one int 
request, and that works fine.  However, sometimes I wish to have access to 
the entire data set of (some parts of) the composites.  My problem here is 
that when I try to represent the facts as a list, in any form, the compiler 
bogs down unacceptably (i.e. it takes hours to compile a list module).

Is there some way in Mercury to get all the facts of a predicate at once 
without relying on list operations to mine the data (perhaps using 

Doug Auclair

STOP MORE SPAM with the new MSN 8 and get 2 months FREE*  

mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list