Segmentation fault with integers in clauses

[GoogleCodeExporter]

I'm getting a "segmentation fault: 11" when using numbers in the clauses.

The following code, without numbers, works fine:

from pyswip import Prolog
p = Prolog()
p.assertz("fact(a)")
p.assertz("fact(b)")
print list(p.query("fact(X)"))

However, if I add:

p.assertz("fact(3)")
print list(p.query("fact(X)"))

I get the segmentation fault.

I'm using pyswip 0.2.3, SWI-prolog 6.2.6, on a Mac OS Lion (Darwin kernel 
11.4.2), 64 bits.

Original issue reported on code.google.com by didac.bu...@gmail.com on 25 Feb 2013 at 2:00

Attachments:

• testswip.py

[GoogleCodeExporter]

I couldn't reproduce this error because I do not have access to a Mac.
Could you test it with the latest version of pySWIP (downloaded from source) ?

Original comment by rodrigo....@gmail.com on 19 May 2013 at 2:32

• Changed state: Accepted

[GoogleCodeExporter]

Thanks Rodrigo!

It worked after installing the latest pySWIP from source (not with the one from 
Downloads).

Original comment by didac.bu...@gmail.com on 20 May 2013 at 10:01

[GoogleCodeExporter]

Original comment by rodrigo....@gmail.com on 28 Jun 2013 at 12:22

• Changed state: Fixed