https://www.kindaikagaku.co.jp/news/20180831.html
拡張子が.inのファイルは入力ファイルです。このファイルを実行してください。 # otter < prg0-1.in 拡張子が.outのファイルは出力ファイル(実行結果）です。 拡張子が.linedのファイルは、書籍内での参照用に、行番号が振ってあるファイルです（実行はできません）。
プログラム0-1：秤とコインのパズル(prg0-1.in) プログラム0-2：２インバータパズル(prg0-2.in)
プログラム1-1：三段論法：はじめてのOTTERプログラム(prg1-1.in) プログラム1-2：ソクラテスの四段論法？ その１(prg1-2.in) プログラム1-3：ソクラテスの四段論法？ その２(prg1-3.in) プログラム1-4：３つの箱の中身を当てる(prg1-4.in) プログラム1-5：節集合と矛盾(prg1-5.in) プログラム1-6：「河渡りパズル」その１(prg1-6.in) プログラム1-7：河渡りパズルその２(prg1-7.in)
プログラム2-1：全称限量子を使ったプログラム(prg2-1.in) プログラム2-2：私達はどちらかが嘘つき その１(prg2-2.in) プログラム2-3：私達はどちらかが嘘つき その２(prg2-3.in) プログラム2-4：私は嘘つき (prg2-4.in) プログラム2-5：私は嘘つきです 少し変えたバージョン(prg2-5.in) プログラム2-6：２つの空節(prg2-6.in) プログラム2-7：AかBかどちらかが正直者です(prg2-6.in) プログラム2-8：自分のことを嘘つきという２人組(prg2-8.in) プログラム2-9：嘘も本当の事も言う人 その１(prg2-9.in) プログラム2-10：嘘も本当の事も言う人 その２(prg2-10.in) プログラム2-11：仮定の話をする２人組その１(prg2-11.in) プログラム2-12：仮定の話をする２人組その２(prg2-12.in) プログラム2-13：太陽と惑星(prg2-13.in) プログラム2-14：吸血鬼の村(prg2-14.in)
プログラム3-1：リストの要素を反転させる(prg3-1.in) プログラム3-2：リストの各要素を掛け合わせる(prg3-2.in) プログラム3-3：GNATが作るロボットは?(prg3-3.in) プログラム3-3-2：プログラム3-3のdemodulation版(prg3-3-2.in) プログラム3-4：GNGRNATGNが作るロボットの名前(prg3-4.in) プログラム3-5：自分自身を作成するロボット(prg3-5.in) プログラム3-6：お互いを生成するロボット」(prg3-6.in) プログラム3-7：自分自身を破壊するロボット(prg3-7.in) プログラム3-8：恩知らずなロボット(prg3-8.in) プログラム3-9：ハノイの塔(prg3-9.in)
プログラム4-1：paramodulationその1(prg4-1.in) プログラム4-2：paramodulationその2(prg4-2.in) プログラム4-3：祖母の名は？ demodulationその1(prg4-3.in) プログラム4-4：祖母の名は？demodulationその2(prg4-4.in) プログラム4-5：群の性質を調べる(prg4-5.in) プログラム4-6：すべての冪等性のある環は可換である(prg4-6.in) プログラム4-7：分配束における双対原理(prg4-7.in) プログラム4-8：１５パズル(prg4-8.in) プログラム4-9：モーファングループ問題(prg4-9.in) プログラム4-10：hot listを無効化したプログラム(prg4-10.in)
天秤とコインのパズルのためのパッチ当て https://sites.google.com/site/ottershujinopeji/home 上記のページを参考にしてください。