Logic programing with python?

[Gerhard Häring]

Ingo Linkweiler wrote in comp.lang.python:
> Hello,
> 
> is it possible to use Python as "logic lanuage" ?
> I have found the project "formula", a logical language coded with 
> python, and Chris Meyers "Prolog interpreter".
> I have heard from "holmes", but can not find any information about it.
> 
> Do you know other sources?

http://www.logilab.org/python-logic/

Gerhard
-- 
mail:   gerhard <at> bigfoot <dot> de       registered Linux user #64239
web:    http://www.cs.fhm.edu/~ifw00065/    OpenPGP public key id AD24C930
public key fingerprint: 3FCC 8700 3012 0A9E B0C9  3667 814B 9CAA AD24 C930
reduce(lambda x,y:x+y,map(lambda x:chr(ord(x)^42),tuple('zS^BED\nX_FOY\x0b')))