{"description":"https://www.oreilly.co.jp/books/9784873118727/ \u307e\u305f\u307e\u305f\u3001\u4e0a\u8a18url \u306e 6\u7ae0\u306e\u5199\u7d4c\u306e\u7d9a\u304d\u3002 \u300c\u30d1\u30ba\u30eb\u300d\u3068\u8a00\u3063\u3066\u3082\u3001\u6b6f\u629c\u3051\u306e\u6761\u4ef6\u7fa4\u3092\u5b9a\u7fa9\u3057\u305f\u4e0a\u3067\u3001 \u30a6\u30b5\u30ae\u306e\u98fc\u3044\u4e3b\u3092\u6c42\u3081\u307e\u3059\u3002 #!/usr/local/python3/bin/python3 # -*- coding: utf-8 -*- from kanren import * def main(): people = var() rules = lall( # people \u306f4\u500b\u306e\u5909\u6570(\u4eba)\u3092\u6301\u3064 (eq, (var(), var(), var(), var() ),people), # St\u2026","height":"190","author_url":"https://blog.hatena.ne.jp/end0tknr/","published":"2020-01-13 08:24:37","type":"rich","author_name":"end0tknr","url":"https://end0tknr.hateblo.jp/entry/20200113/1578871477","blog_url":"https://end0tknr.hateblo.jp/","width":"100%","image_url":null,"version":"1.0","title":"kanren for python \u306b\u3088\u308b\u8ad6\u7406\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0 (\u30d1\u30ba\u30eb\u306e\u89e3\u6cd5)","provider_name":"Hatena Blog","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fend0tknr.hateblo.jp%2Fentry%2F20200113%2F1578871477\" title=\"kanren for python \u306b\u3088\u308b\u8ad6\u7406\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0 (\u30d1\u30ba\u30eb\u306e\u89e3\u6cd5) - end0tknr&#39;s kipple - web\u5199\u7d4c\u958b\u767a\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","categories":[],"blog_title":"end0tknr's kipple - web\u5199\u7d4c\u958b\u767a","provider_url":"https://hatena.blog"}