Logic programing with python?

Gerhard Häring gerhard at bigfoot.de
Sun Jun 9 08:47:11 EDT 2002

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?


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')))

More information about the Python-list mailing list