(require "logic.BRU")
[(fac-impl (\fac (\x 
	(if (zero? x)
	    1 
	    (* x (fac (pred x)))))))]