某先生ゼミ．とりあえずPrologあたりでプロトタイプを書いてみて，試してみるのがいいのかもという気がしてきた．処理系を探してみよう…