良く分かんないけど、面白そうなんで置いていきますね。

Python で作る Prolog 処理系
http://www.okisoft.co.jp/esc/prolog/in-python.html