8 lines
129 B
Text
8 lines
129 B
Text
| ?- paws::swap(apples, oranges, X, Y).
|
|
X = oranges
|
|
Y = apples
|
|
yes
|
|
|
|
| ?- paws::swap(3.14, ext(lgt), X, Y).
|
|
X = ext(lgt)
|
|
Y = 3.14
|