bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

segmentation fault writing cyclic term


From: Paul Eggert
Subject: segmentation fault writing cyclic term
Date: Fri, 3 Dec 2021 16:11:52 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.3.0

This is GNU Prolog 1.5.0 running on Fedora 35 x86-64.

$ gprolog
GNU Prolog 1.5.0 (64 bits)
Compiled Jul 22 2021, 00:00:00 with gcc
Copyright (C) 1999-2021 Daniel Diaz

| ?- X = X+1, write(X).
X = X+1, write(X).
Segmentation fault (core dumped)


Shouldn't write/1 be protected against cyclic terms?



reply via email to

[Prev in Thread] Current Thread [Next in Thread]