Re: CLP(FD): what is necessary?



On 13 Mar 2008 13:23:32 GMT, Jan Wielemaker <jan@xxxxxxxxxxxxxxxxxxx>
wrote:

On 2008-03-13, Wit Jakuczun <wit@xxxxxxxxxxxxx> wrote:
Hi,
I am transferring a private discussion with Markus Triska
about clpfd library that is a part of SWI Prolog.
Markus asked me (after tracking my discussion on
polish newsgroup with AL) what is wrong with his clp library.
I will be talking only about ECLiPSe and SWI because
this two prologs are only that could be considered
as free.

<snip>

Thanks for your input. I'd like to concentrate on this:

My opinion is that free prologs could be used for
proprietary software but their creators should
pay more attention to what is important to business
and business needs "just-enough" solutions and
not "do-everything" solutions.

I think the discussion is about `free'.

I see this discussion (at least, as it started on pl.comp.lang.c) a
bit differently: what is needed to have complete CLP(FD) system that
could be useb not only for solving MONEY and Sudoku problems, but
problems of industrial complexity ans scale.

One requirement, posted on that discssion was that there must be
framework for creating new global constraints. And this is what I
don't see in SWI CLP(FD) library. Or it is there, but I don't see
this?...

A.L.
.



Relevant Pages

  • Re: Bignum for Prolog?
    ... "Markus Triska" wrote in message ... >> particularly additons and multiplications ... >> for Prolog, preferably SWI. ... > SWI Prolog has transparent built-in support for arbitrary precision ...
    (comp.lang.prolog)
  • Re: win/unix portability (SWI)
    ... with two different version of SWI prolog under the same OS (Windows). ... > Under Unix I read just 'pro'. ...
    (comp.lang.prolog)
  • Re: SWI Prolog OS problems
    ... > I tried to compile my program with SWI 5.4.7 under Windows and it works ... Source should compile out of the box on most machines. ... > 1) Where can I download a previous version of SWI Prolog? ...
    (comp.lang.prolog)
  • Re: String is not string in SWI-Prolog ?
    ... Read sections 4.23 and 2.11 of the swi manual. ... And I search 'string' in the manual and get from page 16 the followings ... SWI-Prolog comes with ABSOLUTELY NO WARRANTY. ... For finding a real example of string in SWI prolog, ...
    (comp.lang.prolog)
  • Re: Free Prolog libraries?
    ... On Sun, 17 Sep 2006, Markus Triska wrote: ... other structures that can be used for priority queues. ... Included in latest SWI: library. ... Public domain code (taken from ...
    (comp.lang.prolog)