Prologは述語論理でHaskellは命題論理なの?