New SIG on logic/CLP programming in Python

[Joel Bender]

>    goal member(X,L):
>        if (len(x) == 0):
>            fail
>        if (X != L[0]):
>            fail

Oops.

    goal member(X,L):
        if (len(L) == 0):
            fail
        if (X != L[0]):
            fail