Stack overflow reverse/2 if arg1 is a var and user types ; for more results

[Dave Sworin]

| ?- reverse(R,[1.0,-2.0,-4.0]).
 
R = [-4.0,-2.0,1.0] ? ; <== If you type a semicolon(;) and first
                            argument is a variable, then you get
                            stack overflow in 1.3.0.  This seems
                            like a bug.
 
Fatal Error: global stack overflow (size: 65537 Kb,
environment variable used: GLOBALSZ)
address@hidden ceg]$