Re: segmentation fault writing cyclic term

Hi,

> On 4 Dec 2021, at 00:11, Paul Eggert <[email protected]> wrote:
>=20
> This is GNU Prolog 1.5.0 running on Fedora 35 x86-64.
>=20
> $ gprolog
> GNU Prolog 1.5.0 (64 bits)
> Compiled Jul 22 2021, 00:00:00 with gcc
> Copyright (C) 1999-2021 Daniel Diaz
>=20
> | ?- X =3D X+1, write(X).
> X =3D X+1, write(X).
> Segmentation fault (core dumped)
>=20
>=20
> Shouldn't write/1 be protected against cyclic terms?

Note that support for cyclic terms is not a ISO Prolog standard =
requirement. In fact, only a few Prolog systems provide comprehensive =
support for cyclic terms. That said, better support for cyclic terms in =
future GNU Prolog versions would be most welcome.

Cheers,
Paulo


-----------------------------------------------------------------
Paulo Moura
Logtalk developer