9 lines
129 B
Text
9 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
|