プログラミング言語論

めんどいのでProlog課題を見切り提出。