2018-06-26から1日間の記事一覧
(defrel (+o n m k) (addero 0 n m k)) これは当然 (defrel (-o n m k) (+o m k n)) なるほどね 関係プログラミングっぽい! (defrel (lengtho l n) (conde ((nullo l) (== '() n)) ((fresh (d res) (cdro l d) (+o '(1) res n)) (lengtho d res)))) からの …
(defrel (+o n m k) (addero 0 n m k)) これは当然 (defrel (-o n m k) (+o m k n)) なるほどね 関係プログラミングっぽい! (defrel (lengtho l n) (conde ((nullo l) (== '() n)) ((fresh (d res) (cdro l d) (+o '(1) res n)) (lengtho d res)))) からの …