Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
プロローグの A/B という用語を B/A に置き換える必要があります。
A と B は変数です (数字、大文字、または小文字のいずれか)
つまり、スラッシュの右側にあるものは左側にある必要があり、その逆も同様です。
例: A/10 は 10/A にする 必要があります 9/3 は 3/9 にする必要があります 5/B は B/5 にする必要があります
明確であることを願っています。ありがとう。
本当に簡単です:
swap(X/Y, Y/X).
または、統合「インライン」を使用できます。ここにサンプルがあります:
?- forall(member(A, [a/3, b/6]), (A=X/Y, B=Y/X, writeln(B))). 3/a 6/b true.