Re: nth in latest unstable version
Jasper Taylor <[email protected]> Fri, 04 Dec 2009 18:02:59 +0000
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Message-ID | <[email protected]> |
Hi Daniel
OK, that fixed it, but I have another one...in the following examples
the variables A,B,C,D,E are not being bound to the list elements when
they are matched. They are still free when the call exits.
$ gprolog
GNU Prolog 1.3.2
By Daniel Diaz
Copyright (C) 1999-2009 Daniel Diaz
| ?- append(Z,[A,B,C,D,E],[48,48,48,48,48,48,48,48,49]).
Z = [48,48,48,48]
yes
| ?- trace.
The debugger will first creep -- showing everything (trace)
yes
{trace}
| ?- append(Z,[A,B,C,D,E],[48,48,48,48,48,48,48,48,49]).
1 1 Call:
append(_16,[_17,_18,_19,_20,_21],[48,48,48,48,48,48,48,48,...]) ?
1 1 Exit:
append([48,48,48,48],[_17,_18,_19,_20,_21],[48,48,48,48,48,48,48,48,...]) ?
Z = [48,48,48,48]
yes
{trace}
...also I am having to make it --without-c-flags because if I allow the
build system to use -O3 then I get an error during build:
. . . .
make[1]: Entering directory `/home/jaspert/Build/gprolog-1.3.2/src/Fd2C'
gplc -c --fast-math fd2c.pl
Fatal Error: Segmentation Violation
compilation failed
make[1]: *** [fd2c.o] Error 1
make[1]: Leaving directory `/home/jaspert/Build/gprolog-1.3.2/src/Fd2C'
make: *** [all] Error 1
Thanks for your help
--Jasper
Daniel Diaz wrote:
> Oups...
>
> fixed (I hope :-)) in last snapshot:
> http://gprolog.univ-paris1.fr/unstable/gprolog-20091204.tgz
>
> Daniel
>
>
> Jasper Taylor a écrit :
>> nth and nth0 do not work when the position is a number but the list
>> is free. Examples (on Ubuntu but MacOS is same I think):
>>
>> jaspert@spacehopper:~$ gprolog
>> GNU Prolog 1.3.2
>> By Daniel Diaz
>> Copyright (C) 1999-2009 Daniel Diaz
>> | ?- nth(1,B,c).
>>
>> no
>> | ?- nth0(0,B,c).
>>
>> no
>>
>> Working examples:
>>
>> | ?- nth(A,B,c).
>>
>> A = 1
>> B = [c|_] ? ;
>>
>> A = 2
>> B = [_,c|_] ? ;
>>
>> A = 3
>> B = [_,_,c|_] ?
>>
>> yes
>> | ?- nth0(A,B,c).
>>
>> A = 0
>> B = [c|_] ?
>>
>> yes
>>
>> Cheers
>> --Jasper
>>
>>
>>
>> _______________________________________________
>> Bug-prolog mailing list
>> [email protected]
>> http://lists.gnu.org/mailman/listinfo/bug-prolog
>>
>
>