[m-users.] Solvers in Mercury
celelibi at gmail.com
Wed Oct 29 14:22:40 AEDT 2014
2014-10-27 22:35 UTC+01:00, Julien Fischer <jfischer at opturion.com>:
> On Mon, 27 Oct 2014, Celelibi wrote:
>> 2014-10-27 13:05 UTC+01:00, Julien Fischer <jfischer at opturion.com>:
>>>> Are they available somewhere?
>>> Short answer: they have never been publicly released.
>> Ok, so, if I want to use a CLP(FD) solver I'll have to write it on my
>>> In their new form, yes. In the form described in the paper above, no.
>>> of the details of the solver type implementation in Mercury have changed
>>> that paper was written. In particular:
>>> - auto initialisation of solver type values is no longer supported
>>> - as a consequence of the above, solver types can now be nested
>>> - there is now support for dynamically moded higher-order values
>> Thanks for the informations.
>> What does dynamically moded means?
> Variables whose inst is "any", or contains "any" are said to be
> dynamically moded: they are known to be constrained in some way but
> their exact instantiation state is unknown.
> and section 3.2.2 of
> Precise and expressive mode systems for typed logic programming
> David Overton.
> Ph.D. thesis, Department of Computer Science and Software Engineering,
> The University of Melbourne, December 2003.
> for further details. (The latter is available via our papers page.)
Thanks for your reply.
More information about the users