impose a computational rule

Erwan Jahier jahier at irisa.fr
Mon Jul 7 18:04:21 AEST 1997

Previous message: [mercury-users] The Mercury random module
Next message: [mercury-users] impose a computational rule
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hello,

Is there (or will there) a way to impose a computational rule when
solving a Mercury predicate ?
(for example, depht-first search / left-to-right) 

-- 
R1.

mailto:Erwan.Jahier at irisa.fr  
IRISA - Rennes - France 
-----------------------

Previous message: [mercury-users] The Mercury random module
Next message: [mercury-users] impose a computational rule
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the users mailing list