6 lines
170 B
Text
6 lines
170 B
Text
callAmb {
|
|
x := $amb [1, 2, 3, 4].
|
|
y := $amb [7, 6, 4, 5].
|
|
(x * y == 8 ) ifFalse { $fail. }. ;; Note: $fail is equivalent to $amb [].
|
|
println [x, y]. ;; [2, 4]
|
|
}.
|