(clear) (unwatch compilations) (watch statistics) (set-strategy depth) (load waltz.clp) (reset) (load-facts waltz37.fct) (run)
(clear) (unwatch compilations) (watch statistics) (set-strategy depth) (load waltz.clp) (reset) (load-facts waltz37.fct) (run)