PyLog -- A first order logic library in Python

PyLog -- A first order logic library in Python: "PyLog is a first order logic library including a PROLOG engine in Python. PyLog can also translate PROLOG into Python. PyLog uses TPG to parse PROLOG. "