end0tknr https://blog.hatena.ne.jp/end0tknr/ end0tknr's kipple - web写経開発 https://end0tknr.hateblo.jp/ https://www.oreilly.co.jp/books/9784873118727/ またまた、上記url の 6章の写経の続き。 「パズル」と言っても、歯抜けの条件群を定義した上で、 ウサギの飼い主を求めます。 #!/usr/local/python3/bin/python3 # -*- coding: utf-8 -*- from kanren import * def main(): people = var() rules = lall( # people は4個の変数(人)を持つ (eq, (var(), var(), var(), var() ),people), # St… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fend0tknr.hateblo.jp%2Fentry%2F20200113%2F1578871477" title="kanren for python による論理プログラミング (パズルの解法) - end0tknr&#39;s kipple - web写経開発" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2020-01-13 08:24:37 rich https://end0tknr.hateblo.jp/entry/20200113/1578871477 1.0 100%