- 11 名前：デフォルトの名無しさん mailto:sage [2009/03/08(日) 02:43:41 ]
- 「重複しない」という事の意味が漏れには分からない。というか課題の定義が曖昧だと思う。
述語livesNear/2の意味は「Person1の近場にPerson2が住んでいる」だよね？
もしそうなら「Aさんの近場にBさんが...」と「Bさんの近場にAさんが...」という
「重複した」結果こそ正しいと思う。両者の間には双方向な関連があるのだから。
もし問い合わせが livesNear('Aさん', P) あるいは livesNear('Bさん', P) だとしたら、
「重複しない」という述語定義に対して、>>8 はどんな結果を期待するのだろうか。
