述語論理系工学言語
loglangと呼ばれる一派のほとんどこれな感（偏見）