python 3.8.2でprologを動かしてみた

「pyswip便利なんだけどpython 3に対応してないからな～泣」という声をネットのどこかで見かけたので、

「python3.8.2でもpyswipちゃんと動いたよ」という報告をしようと思い、この記事を書いた。

_{蛇足だが、予言者でもない限り、「python3でも動く」とは確かに言えない。python3.8.2で動いても、python3.8.3以降で動く論理的な保証はどこにもないからだ。}

１. pip install pyswip
２. 次のコードを実行

from pyswip import Prolog
p = Prolog()
p.assertz("father(michael, john)")
p.assertz("father(michael, gina)")
for s in p.query("father(X,Y)"):
    print(s["X"], "is the father of", s["Y"])

３. 次のように標準出力を得る

micheal is the father of john
micheal is the father of gina

参考: https://github.com/yuce/pyswip の「Examples」