先日のゼミ

述語論理の話をしていて、なんかの拍子に突然Prologの話で盛り上がり始めた先生二人。完璧に取り残される学生全員(多分)。「○×△とか□■▽とか書けるじゃん、あれはなに?」「うーん、×◎▽とか■□△とかがあるからPrologは違うんじゃないですかね?」


Prologはさすがに、、、これは不勉強なせいじゃなくて時代の差ですよね??