logic programming in python (was something about py3k)

[Jean-Paul Calderone]

On Tue, 30 Oct 2007 14:09:39 -0000, Steven D'Aprano <steve at remove-this-cybersource.com.au> wrote:
>
> [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!)
>

If you have some time to experiment, PyPy has some support for logic
programming with Python.

http://codespeak.net/pypy/dist/pypy/doc/objspace-proxies.html#the-logic-object-space

Jean-Paul