2020-03-05から1日間の記事一覧
bumpo (defrel (bumpo n x) (conde ((== n x)) ((fresh (m) (-o n '(1) m) (bumpo m x))))) これは問題ない
kb84tkhrのブログ
何を書こうか考え中です あ、あと組織とは関係ないってやつです 個人的なやつ
bumpo (defrel (bumpo n x) (conde ((== n x)) ((fresh (m) (-o n '(1) m) (bumpo m x))))) これは問題ない
