算譜って表現はともかく、ほとんど文法的には弄ってないんじゃないかそのPrologコード