Mercury 勉強メモ

関数論理型言語 Mercury を勉強するブログです.