数独がPrologで簡単に解けるみたいなことがどこにでも書いてあるが実例は特に載っていないことと、あっても他人のコードはやっぱり読めないので、自分で書いてみた。gprolog用。
証明数（反証数だったかも）を使った反復深化法などがよいのかもしれないが、とりあえず最も難しい問題と言われるものが5秒で解けるようなので、特にがんばらない。
% 下記を実行。
% aaa1(X),mc(9,_Bs . . . 本文を読む
100円ショップで手軽に買えるLEDライトは指向性が強い。カバヤのジューCというお菓子（追記したが、アンパンマン ミニミニ ラムネ（一個100円）がおすすめ）の容器の口とLEDライトの直径が一致するので、セロハンテープで取り付けることができる。光が拡散しランタンのような使い方ができるほか、色をつけることで誘導灯やコンサートライト(UOライト)、ライトセーバーのような使い方もできる。夏の夜の子供のお . . . 本文を読む