[mercury-users] How to transform `semidet' to `det' ?

Holger Krug hkrug at rationalizer.com
Wed Jul 25 21:01:48 AEST 2001


On Wed, Jul 25, 2001 at 05:17:43PM +1000, David Overton wrote:
> 
> Yes, you could create an inst, e.g.
> 
> 	:- inst rule_num == bound(1 ; 2 ; 3 ; 4 ; 5 ; 6 ; 7 ; 8).
> 
> and then use 'in(rule_num)' and 'out(rule_num)' instead of 'in' and
> 'out',  in mode declarations for parameters of this type.

That sounds pretty good. Thanks !

-- 
Holger Krug
hkrug at rationalizer.com
--------------------------------------------------------------------------
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