なるほど、関数型言語や論理型言語もyaccでいけるわけですね。