論理表示

大西先生の論文の一部ですが、この論理表示というのは学会では一般的なんでしょうか。コンピュータでprolog を経験されている大西先生ならではと思いますけど。