Re: bug in clp(q,r) library

Andrey Rybalchenko wrote:

Thanks for the pointer.

Unfortunately, swi's implementation of clp(q) does not scale as well as
the one in sicstus (when sicstus doesn't throw an exception ...).

Do you have any experimental evidence? Is there really a scaling issue or just some constant factors that are worse in SWI-Prolog?

Cheers,

Tom
.

Relevant Pages

  • Re: bug in clp(q,r) library
    ... the one in sicstus (when sicstus doesn't throw an exception ...). ... Tom Schrijvers wrote: ... SWI-Prolog comes with ABSOLUTELY NO WARRANTY. ...
    (comp.lang.prolog)
  • Re: Print depth (or width?)
    ... Andrey Rybalchenko wrote: ... > I'd like to print the content of a long list to the console. ... the prolog interpreter (sicstus) chops parts ...
    (comp.lang.prolog)