>>26
Prologの変数って、
長い長い ======================== 等号のように見えますね。