• ベストアンサー

Prologについて教えてください!

リストLにおいて二つの項XとYがこの順番に隣接しているとき真となる関係nextto(X,Y,L)を定義しなさい。 ?-nextto(a,b,[a,b,c]). true ?-nextto(a,c,[a,b,c]). この問題の答えを教えてください。

質問者が選んだベストアンサー

  • ベストアンサー
  • salsberry
  • ベストアンサー率69% (495/711)
回答No.1

直接的な答えは書きません。 ・リストLの先頭の2つの要素がX, Yと一致するならば真。 ・リストLの先頭の要素を取り除いたリストをZとすると、nextto(X, Y, Z)の結果がnextto(X, Y, L)の結果。