Note to run this you should run PLT Scheme in pretty big mode. If you include it in a module or libraries you will break certain aspects because amb-eval uses s

Note to run this you should run PLT Scheme in pretty big mode. If you include it in a module or libraries you will break certain aspects because amb-eval uses set! which mutates module definitions. This is disallowed in current versions of PLT Scheme.