GCamlというOCamlにオーバーロード機能を追加した言語あるが、それの型推論機構をうまく使って、論理プログラミングっぽいことができないかと試行錯誤してみた。まずは基本的な定数項を型として定義する。 type hanako = Hanako;; type taro = Taro;; type i…