*-> Causes a segmentation fault

[Matthew Prestifilippo]

Hello,

When running the following line, I get a segmentation fault. I also included the trace.

| ?- true *-> X is 2 ; Y is 3.

      1    1  Call: true*->_273 is 2 ? 

Fatal Error: Segmentation Violation (bad address: 0x0)

Here is additional system info:

> uname -a

Darwin Matthew-Prestifilippos-iMac.local 11.4.2 Darwin Kernel Version 11.4.2: Thu Aug 23 16:25:48 PDT 2012; root:xnu-1699.32.7~1/RELEASE_X86_64 x86_64

> gprolog --version

Prolog top-Level (GNU Prolog) 1.4.1

By Daniel Diaz

Copyright (C) 1999-2012 Daniel Diaz

I did a default build from source (./configure && make && make install)

Thanks!

Matt