Re: bug on OS.X

[Paulo Moura]

On 4/fev/2005, at 09:53, Noé Lutz wrote:

> Hi there,
>
> We discovered a bug in gnu prolog 1.2.16 running on OS.X 10.3:

The bug can also be reproduced with the latest beta of GNU-Prolog 
1.2.18 on MacOS X 10.3.7.

> Darwin applepie 7.7.0 Darwin Kernel Version 7.7.0: Sun Nov  7 16:06:51
> PST 2004; root:xnu/xnu-517.9.5.obj~1/RELEASE_PPC  Power Macintosh
> powerpc
>
> We installed gprolog from a binary distribution, but we simply can't
> remember where we got it... sorry.

Maybe an installer package built from DarwinPorts or from Fink?

> This code does not produce the expected result, namely add the
> constraint that the difference between X and Y is bigger or equal N:
> ...

Cheers,

Paulo


-----------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Informatics                   Office 4.3  Ext. 3257
University of Beira Interior          Phone: +351 275319700
6201-001 Covilhã                      Fax:   +351 275319891
Portugal

<mailto:address@hidden>
<http://www.di.ubi.pt/~pmoura>     <http://www.logtalk.org>
-----------------------------------------------------------