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