[mercury-users] Minimal model tabling and constraint solvers

[Peter Hawkins]

Hi...
On Jan 19, 2006, at 7:26 PM, Julien Fischer wrote:
>
> You can certainly add it to the wishlist, perhaps just under the bit
> about getting unique modes working ;-)
>

Hmmm. I won't hold my breath. (I'd actually prefer partial  
instantiation to unique modes, but that's just me :-) )

>> (The actual application is in program analysis. Minimal-model tabling
>> would be used to traverse the flow-graph and extract constraints to
>> be solved later in a separate pass)
>>
>
> Do you mean that trailing would not be required in the parts of the
> program that use minimal model tabling and vice versa?  In that case
> it might be possible to make it work.
>
Yes. Precisely. Or at least, it's very easy to structure the code  
that way.

Cheers,
Peter
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------