[mercury-users] tabling

[Peter Ross]

Hi,

I have a question about tabling.

If we have a predicate with the following declaration, 

:- pragma memo(is_some_condition/3).
:- pred is_some_condition(int::in, string::in, map(int, string)::in) is semidet.

We observe a dramatic slow down when adding the memo pragma, I assume
that this is because the map argument is quite large and the same in
each call leading to a lot of very expensive comparisons.  Is this
correct?

Pete
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------