[mercury-users] Solver types and \=

[Zoltan Somogyi]

On 12-Aug-2005, Peter Stuckey <pjs at cs.mu.OZ.AU> wrote:
> \= should be considered a separate predicate from = and have a default
> implemetation for ground times of not(=).

That may be a reasonable objective to work towards, but since there is a
trivial workaround (solvers can export a predicate named e.g. "different")
right now we have more important things to do.

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