检查方案中X是N的阶乘

Question

你能帮我以最好的方式解决这个问题吗？ 我想知道这个函数如何在方案中写“fac（N，X）是可证明的，如果X是N的阶乘” 这段代码运行成功但没有执行输出！

(define (fact N) 
    (* N (fact (- N 1)))) 
(define (fac N X) 
    (if (= X (fact N)) #T))) 

Answer 1

在你事实上的定义，你需要停止递归调用，当你达到N = 1

在你的FAC的定义，你有一个太多“）”在定义的结束。此外，你可以删除if函数，因为它没有真正的用途。

改正的代码...

(define (fact N) 
    (if (> N 1) 
    (* N (fact (- N 1))) 
    1)) 

(define (fac N X) 
    (= X (fact N)))