title: Error while installing PySWIP for use of Prolog in Python
body: <p>I am trying to follow the installation guide for <a href="https://code.google.com/p/pyswip/wiki/INSTALL" rel="nofollow">PySWIP</a> in Windows, which first asks to install a <em>32 bit</em> version of <a href="http://www.swi-prolog.org/download/stable" rel="nofollow">SWI-Prolog</a> first and include its bin in PATH, which I did. Then I installed the 64 bit version of PySWIP since my Python-2.7 is 64 bit Anaconda version. But it doesn't work (see error below).</p>
  
  <p>As suggested by some elsewhere, I also made of copy of libswipl.dll (in C:\Program Files (x86)\pl\bin ) as libpl.dll and of swipl.ico  (in C:\Program Files (x86)\pl ) as pl.ico but no luck.</p>
  
  <p>The error that I am getting (in Spyder and EclipsePyDev IDEs using Anaconda interpreter) when I enter the first line below is:</p>
  
  <pre><code>&gt;&gt;&gt; from pyswip import Prolog
          Traceback (most recent call last):
        File "&lt;stdin&gt;", line 1, in &lt;module&gt;
        File "C:\Users\XXX\Anaconda\lib\site-packages\pyswip\__init__.py", line 29, in &lt;module&gt;
          from pyswip.prolog import Prolog
        File "C:\Users\XXX\Anaconda\lib\site-packages\pyswip\prolog.py", line 29, in &lt;module&gt;
          from pyswip.core import *
        File "C:\Users\XXX\Anaconda\lib\site-packages\pyswip\core.py", line 360, in &lt;module&gt;
          _lib = CDLL(_path)
        File "C:\Users\XXX\Anaconda\lib\ctypes\__init__.py", line 365, in __init__
          self._handle = _dlopen(self._name, mode)
      WindowsError: [Error 193] %1 is not a valid Win32 application
  </code></pre>
  
  <p>How to fix this?</p>
  
  <p>Background: I am working through the first order logic programming of natural language semantics of <a href="http://www.nltk.org/book/ch10.html#ex-northprop" rel="nofollow">NLTK book</a>, and I thought it would be nice to have a logic program that can do constraint programming (specifically, solve for equality logical constraints)</p>