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?
