[m-dev.] proof-of-concept code for choosing a grade

[Paul Bone]

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.


-- 
Paul Bone