Re: Recreatable Bug in gprolog 1.3.0

[Paulo Moura]

On 2007/06/06, at 01:54, Christopher Thielen wrote:

> Hello,
> I'm running gprolog 1.3.0 on Fedora Core 6 on a x86_64 system. When  
> I type
> the following, I get a consistent crash:
>
> GNU Prolog 1.3.0
> By Daniel Diaz
> Copyright (C) 1999-2007 Daniel Diaz
> | ?- member(X,[Y|X]).
>
> Y = X ? n
> Action (; for next solution, a for all solutions, RET to stop) ? a
> Segmentation fault

See the literature on cyclic terms, which GNU Prolog does not support.

Cheers,

Paulo


-----------------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Computer Science, University of Beira Interior
6201-001 Covilhã, Portugal

Office 4.3  Ext. 3257
Phone: +351 275319891 Fax: +351 275319899
Email: <mailto:address@hidden>

Home page: <http://www.di.ubi.pt/~pmoura>
Research: <http://logtalk.org/>
-----------------------------------------------------------------