[mercury-users] impose a computational rule

[Tyson Richard DOWD]

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

Yes -- sort of. From the usage message (Mercury 0.6 at least):

Language semantics options:
(See the Mercury language reference manual for detailed explanations.)
        --no-reorder-conj
                Execute conjunctions left-to-right except where the modes imply
                that reordering is unavoidable.
        --no-reorder-disj
                Execute disjunctions strictly left-to-right.

(As it says, it is worth reading the semantics section of the user
manual for more information about this).

This will apply to the entire module, not just one predicate.

These are the only computational rule options presently available.  I
don't think there are any other planned additions (but I'm sure if I'm
wrong others will quickly jump in ;-). Is there a particular application
you have in mind that would benefit from such controls?