PyLog. Moved to Codeberg, this repo is just a (temporary) mirror -- PyLog is a first order logic library including a PROLOG engine in Python