正式にPrologと名乗っていいかどうかを承認する機関とかあればいいけど
そこまでしてｲｿｲｿする需要もないんだし
どうしてもｲｿにこだわるならSWI-Prologとかならﾄﾞｷｭﾝﾒﾝﾄにｲｿってる述語かどうかかいてあるから
ｲｿい述語だけ使うようにすればいいんじゃないかな