Prolog

去年もblogで書いてるんですが、授業で教えた方が良いよなってことで1講義使ってるんですが、

　　去年真面目に書きすぎた

らしく、ちょっと難しすぎたんじゃないのか? と反省気味です。まぁ、時間内には収まるんだが...

たぶん、節形式は命題論理の範囲内で扱って、面倒くさい部分はリンクで外に出して、

　　シーケント代数部分の例題

を入れるようにすると良いかな。