amb time 2

(let ([x (range 1 10)] [y (range 1 10)] [z (range 1 10)])
  (if (= (* z z) (+ (* x x) (* y y)))
      (cons x (cons y z))
      (amb)))
'(4 3 . 5)
'(3 4 . 5)
'(8 6 . 10)
'(6 8 . 10)
cpu time: 56 real time: 56 gc time: 15