Re: Fatal Error: Segmentation Violation

[Daniel Diaz]

Hello,

there was a bug in 1.2.1 and also in 1.2.5. I have fixed it in 1.2.6. You can 
get it in the unstable directory of the INRIA GNU Prolog FTP site (a RPM is 
also available). Thank you.

address@hidden said:
> Hi all,
> I have been trying simulate lambda functions and I have been getting a
> fatal error.

> Entering the query:

> L=(l(X):-!,X=foo), asserta(L), l(Z), retract(L).

> Causes a ``Fatal Error: Segmentation Violation'' immediately in the
> stable version 1.2.1 (the binary rpm from http://pauillac.inria.fr/
> ~diaz/gnu-prolog/#download). In the latest unstable version 1.2.5
> (compiled with gcc 2.95.1) gprolog responds with:

> L = l(X):-!,X=foo Z = foo ? 

> If I hit return there are no problems, however if I hit ; to get more
> solutions I again get ``Fatal Error: Segmentation Violation''.

> PS thanks for the fine Prolog implementation.

> -- Bowie Owens



-- 
===============================================
                 Daniel Diaz
University of Paris 1      INRIA Rocquencourt
75013 Paris FRANCE      78153 Le Chesnay FRANCE
        web: http://pauillac.inria.fr/~diaz
        email: address@hidden
===============================================