segmentation fault pyswip with swipl 6.6.4 on Ubuntu 14.04
111 views
Skip to first unread message
y f
Sep 15, 2016, 12:26:28 PM9/15/16
to pyswip
Hi all,
I've been trying to use pyswip and no such luck. Installed using apt-get and linked libswipl.so to libpl.so. After the following commands:
$ python
$ from pyswip import Prolog
$ prolog = Prolog()
everything seems fine. But at
$ prolog.assertz("father(michael,john)")
I get "segmentation fault (core dumped)".
Tried installing from source 6.6.4 and 7.2.3 using the following in the source folder:
$ ./configure --prefix=/usr --enable-shared
$ make
$ sudo make install
This doesn't appear to create a shared library. No libswipl.so or libpl.so.
Help appreciated!
I've been trying to use pyswip and no such luck. Installed using apt-get and linked libswipl.so to libpl.so. After the following commands:
$ python
$ from pyswip import Prolog
$ prolog = Prolog()
everything seems fine. But at
$ prolog.assertz("father(michael,john)")
I get "segmentation fault (core dumped)".
Tried installing from source 6.6.4 and 7.2.3 using the following in the source folder:
$ ./configure --prefix=/usr --enable-shared
$ make
$ sudo make install
This doesn't appear to create a shared library. No libswipl.so or libpl.so.
Help appreciated!
y f
Sep 15, 2016, 12:28:27 PM9/15/16
to pyswip
Python version 2.7.6
Reply all
Reply to author
Forward
0 new messages