[m-dev.] proof-of-concept code for choosing a grade
paul at bone.id.au
Fri Feb 12 16:11:55 AEDT 2016
On Thu, Feb 11, 2016 at 05:54:59PM +1100, Zoltan Somogyi wrote:
> On Thu, 11 Feb 2016 14:50:56 +1100, Paul Bone <paul at bone.id.au> wrote:
> > On Sat, Dec 05, 2015 at 01:39:41PM +1100, Zoltan Somogyi wrote:
> > >
> > > I am mostly seeking feedback on the overall design approach.
> > >
> > > - The decision to do it in C.
> > I think C is best in this case. Before you can build a Mercury program you
> > must configure and build the runtime and library. The only way around this
> > I think is to configure the libgrades after building the runtime and library
> > in the pregen grade. This would be possible but will probably confuse users
> > too much, so I think a C program is best.
> Actually, Julien convinced me that doing it in Mercury is OK, and
> I rewrote the solver in Mercury, and committed it, two months ago.
> It is now in the grade_lib directory.
I like Peter's suggestion of using a Mercury program to produce valuations
that a script or C program can choose from.
More information about the developers