>>429
「Prologは」というところを「論理式では」と置き換えて読み直されることを
勧めます。