issue 1
(Segmentation fault when assertz-ing) commented on by dksreddy
- Is there a similar way to do for ints?
Is there a similar way to do for ints?
Oct 06, 2009
HowToSimulateMultipleKnowledgebases
(Shows how to simulate having multiple SWI-Prolog knowledgeba...) Wiki page edited by yucetekol
- Revision r103
Edited wiki page through web user interface.
Revision r103
Edited wiki page through web user interface.
Oct 06, 2009
HowToSimulateMultipleKnowledgebases
(Shows how to simulate having multiple SWI-Prolog knowledgeba...) Wiki page edited by yucetekol
- Revision r102
Edited wiki page through web user interface.
Revision r102
Edited wiki page through web user interface.
Apr 29, 2009
issue 6
(pyswip doesn't work on cygwin) reported by martinlaz
- What steps will reproduce the problem?
1. run sudoku.py
What is the expected output? What do you see instead?
I expected a solved sudoku puzzle, got this instead:
--
libpl (shared) not found. Possible reasons:
1) SWI-Prolog not installed as a shared library. Install SWI-Prolog (5.6.34
works just fine)
--
What version of the product are you using? On what operating system?
pyswip version: 0.2.2; os: cygwin on windows vista, libpl.dll is on the PATH
Suggested fix:
in core.py, change the line
--
if sys.platform[:3] == "win":
--
to
--
if sys.platform[:3] == "win" or sys.platform == "cygwin":
--
What steps will reproduce the problem?
1. run sudoku.py
What is the expected output? What do you see instead?
I expected a solved sudoku puzzle, got this instead:
--
libpl (shared) not found. Possible reasons:
1) SWI-Prolog not installed as a shared library. Install SWI-Prolog (5.6.34
works just fine)
--
What version of the product are you using? On what operating system?
pyswip version: 0.2.2; os: cygwin on windows vista, libpl.dll is on the PATH
Suggested fix:
in core.py, change the line
--
if sys.platform[:3] == "win":
--
to
--
if sys.platform[:3] == "win" or sys.platform == "cygwin":
--
Older
Oct 09, 2008
issue 1
(Segmentation fault when assertz-ing) commented on by dia.aljrab
- Well, sorry but I guess I don't have enough time for that but i'll think about it.
Well, sorry but I guess I don't have enough time for that but i'll think about it.
Oct 09, 2008
issue 1
(Segmentation fault when assertz-ing) commented on by yucetekol
- Thanks :)
Would you like to be the maintainer of the project? If so I'll give you developer access.
Thanks :)
Would you like to be the maintainer of the project? If so I'll give you developer access.
Oct 09, 2008
issue 1
(Segmentation fault when assertz-ing) commented on by dia.aljrab
- After trying to understand as I could and fighting with c_types, i first found an
error in your source in "core.py", line 293 where you put :
"PL_atom__restype = [c_char_p]" instead of "PL_atom_chars.restype = c_char_p"
And then, I went on checking "restypes" for each function and I added two lines :
"PL_get_atom.argtypes = [term_t, c_ulong]"
and
"PL_get_functor.argtypes = [term_t, c_ulong]"
(I guess we should check other argtypes and restypes if another segfault appear again)
Hope that helps ;-)
After trying to understand as I could and fighting with c_types, i first found an
error in your source in "core.py", line 293 where you put :
"PL_atom__restype = [c_char_p]" instead of "PL_atom_chars.restype = c_char_p"
And then, I went on checking "restypes" for each function and I added two lines :
"PL_get_atom.argtypes = [term_t, c_ulong]"
and
"PL_get_functor.argtypes = [term_t, c_ulong]"
(I guess we should check other argtypes and restypes if another segfault appear again)
Hope that helps ;-)
Sep 26, 2008
issue 1
(Segmentation fault when assertz-ing) commented on by yucetekol
- Sadly no, I don't have the time to deal with pyswip anymore, and it seems nobody
wants to maintain it :(
Sadly no, I don't have the time to deal with pyswip anymore, and it seems nobody
wants to maintain it :(
Sep 26, 2008
issue 1
(Segmentation fault when assertz-ing) commented on by dia.aljrab
- Any news about this problem since then ?
Any news about this problem since then ?
Jul 27, 2008
issue 5
(Patch: hash and eq methods for Atom class) reported by rodrigo.starr
- With a hash function atoms can be used inside sets or dictionaries. This
implementation just returns the handle, so I am not sure the generated hash
is a good one.
With a hash function atoms can be used inside sets or dictionaries. This
implementation just returns the handle, so I am not sure the generated hash
is a good one.
