https://www.oreilly.co.jp/books/9784873118727/ 上記url の 6章の写経の続き。 以下の家系図を定義し、「John」の父親(≠義父)を求めます John─Megan │ ┌──────────┼─────────────┐ William─Emma David─Olivia Adam─Lily ┌─┤ ┌─┬─┴─┬──┬──┐ │ Cris Stephani…

https://www.oreilly.co.jp/books/9784873118727/ 上記url の 6章の写経の続き。 「23, 4, 27, 17, 13, 10, 21, 29, 3, 32, 11, 19」から素数を抽出します。 #!/usr/local/python3/bin/python3 # -*- coding: utf-8 -*- import itertools # イテレータ関数群…

https://www.oreilly.co.jp/books/9784873118727/ 上記url の 6章の写経。 「数式の照合」として、数式の変数(a,b,c)の値を算出します。 論理プログラミングというと、prologの方が記述しやすいと思いますが、 pythonの場合、算出後のデータ加工等が容易な為…

普段、pip ばかりでは、忘れてしまうので https://pypi.org/project/kanren 上記 kanren を例にすると、以下の通り $ wget https://files.pythonhosted.org/packages/f7/28/????/kanren-0.2.3.tar.gz $ tar -xvf kanren-0.2.3 $ sudo /usr/local/python3/bin…