>>303
> Haskellで同じ問題を解くコードを書いて下さいまし。
嫌です。

> 何ステップで書けますか？
あなたの prolog のコードより遙かに長いです。

>>305
> Haskellで定義した関数 move_ball p ですが、これは以下の質問に返答できますか？
できません。

> 関連とは、その数学的定義からいって集合間の双方向な対応付けです。

数学的定義など気にしてレスしていません。
日常会話レベルの曖昧さを含んで「関連」と言いました。

それが悪いことだったのでしたら、すいません。
以後気をつけます。