Logical Programming with Python?

[Ingo Linkweiler]

Hello,

i am looking for examples for logical programming (Prolog like) with 
Python. I have found some projects, but no examples how to use them.
Most of them seem "unuseable" or only can solve equations:

* PyLog (provides a simple way to write logic terms, variables and 
atoms)- http://christophe.delord.free.fr/en/pylog/logic.html

* Logilab constraint package: a constraint satisfaction problem solver 
written in 100% pure Python - 
http://www.logilab.org/python-logic/constraint.html

* Holmes (dead)

* Formula (not available)

* CLIPS Wrapper (unuseable)

Do you know more sources for logical programming, or do you have some 
examples ?

Ingo