一口にCASといっても

色々なものがある（数式処理システムの一覧 - Wikipedia）のですが，まずは，永い歴史を持ち，近年フリーとなったReduce（REDUCE (数式処理システム) - Wikipedia）の１階述語論理パッケージであるRedLog（http://redlog.dolzmann.de/）について，その使い方や気付いたことなどを書いて見ます．