Re: [pyswip] Digest for pyswip@googlegroups.com - 2 Messages in 1 Topic

43 views
Skip to first unread message

Krishna Sandeep Reddy Dubba

unread,
Feb 27, 2013, 8:35:35 AM2/27/13
to pys...@googlegroups.com
It kind of works for me (I guess it works most of the times) as I did some tweaks long back which I forgot. I will investigate and will send the files next week.

import platform
from pyswip import Prolog, PrologError

print platform.architecture()[0]
        
p = Prolog()
p.assertz("fact(a)")
p.assertz("fact(b)")
print list(p.query("fact(X)"))
  
p.assertz("fact(3)")
print list(p.query("fact(X)"))

OUTPUT:
----------------
64bit
[{'X': 'a'}, {'X': 'b'}]
[{'X': 'a'}, {'X': 'b'}, {'X': 3}]


On Wed, Feb 27, 2013 at 10:11 AM, <pys...@googlegroups.com> wrote:

Group: http://groups.google.com/group/pyswip/topics

    Krishna Sandeep Reddy Dubba <dksr...@gmail.com> Feb 26 10:26AM  

    I think this problem occurs if you use it in 64-bit systems. Can you try it
    in 32-bit and see if it gives the segmentation fault?
     
     

     

    Didac Busquets <didac.b...@gmail.com> Feb 26 10:34PM  

    Hi Krishna,
     
    Indeed, it works fine with 32 bits.
     
    Is there any workaround to use it in 64 bits?
     
    Cheers
     
    --------------------------------------
     
    Didac Busquets
    didac.b...@gmail.com
     
     
     
     
    On 26 Feb 2013, at 10:26, Krishna Sandeep Reddy Dubba wrote:
     

     

You received this message because you are subscribed to the Google Group pyswip.
You can post via email.
To unsubscribe from this group, send an empty message.
For more options, visit this group.

--
You received this message because you are subscribed to the Google Groups "pyswip" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pyswip+un...@googlegroups.com.
To post to this group, send email to pys...@googlegroups.com.
Visit this group at http://groups.google.com/group/pyswip?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

Reply all
Reply to author
Forward
0 new messages