『プログラミング言語論 第9回 論理型プログラミング言語 担当：犬塚』2024/3/17 3:08:00 http://nous.web.nitech.ac.jp/individual/inuzuka/lecture/PLT/PLT07/PLT9-4up.pdf