http://www.okisoft.co.jp/esc/prolog/in-python.html　Python で作る Prolog 処理系
* Prolog の変数と述語
* 述語と引数からなる述語項

型が全然無いんだな…
何ができるんだこれで…謎すぐる