Hi,
this is due to a process stack overflow. The expressions (arguments) of #> are
subject to a normalization, handled by a recursive C function. Depending on how
arguments are given (left or right associated) the function can recurs too much.
For instance if you change S + H1 by H1 + S no overf
Hi!
The following program leads to a segmentation fault, possibly after
having printed ”here” (and more precisely, when telling the constraint
Sum #> 0), with all versions of GNU Prolog at least since 1.4.1. The
length of the sum leading to the error may vary depending on the
architecture.
:- ini
