Re: Recreatable Bug in gprolog 1.3.0

Paulo Moura <[email protected]>
Newsgroups gmane.comp.gnu.prolog.bugs
Message-ID <[email protected]>
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:[email protected]>

Home page: <http://www.di.ubi.pt/~pmoura>
Research: <http://logtalk.org/>
-----------------------------------------------------------------
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.