こういう風にProlog述語で置換するのではなく、
組込述語のラベルを全部日本語に書き換えたProlog処理系が
多分今年中にでるよ。原則プログラミングに英字を使用しない
処理系ですね。