[mercury-users] Minimal model tabling and constraint solvers

[Peter Hawkins]

Hi...

I want to use minimal model tabling and a constraint solver (which  
needs trailing) in the same program. While I realise that there are  
fundamental reasons why these two features cannot be used at the same  
time (since suspended goals and trailing don't mix), I want to use  
them in different parts of the same program, not simultaneously. I  
spoke to Zoltan about this briefly at  PADL and he seemed to think  
this might be possible. Can I add it to the wishlist? These are both   
such great declarative features it's a pity they can't be used  
together...

(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)

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