I believe some work has been down in pypy to bring logic programming to python. You might ask pypy-dev
Google leads to http://codespeak.net/pypy/dist/pypy/doc/howto-logicobjspace-0.9.html -- http://mail.python.org/mailman/listinfo/python-list
- Logic Programming MaR
- Re: Logic Programming Boris Borcic
