>If you have some time to experiment, PyPy has some support for logic
[snip]
(Aside: I think it a shame that there is one major paradigm that Python
doesn't have *any* support for at all: logic programming, like Prolog. I
don't quite know what it is good for, but I'd like to find out!)
programming with Python.
http://codespeak.net/pypy/dist/pypy/...c-object-space
Jean-Paul