From 51b6399599676a5c1a9c6cb27be88a1381f7af8a Mon Sep 17 00:00:00 2001 From: Masaya Tojo Date: Sun, 8 Nov 2020 08:11:26 +0900 Subject: wip9 --- rabbit-prover.scm | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'rabbit-prover.scm') diff --git a/rabbit-prover.scm b/rabbit-prover.scm index b5e7fbc..e83ea9a 100644 --- a/rabbit-prover.scm +++ b/rabbit-prover.scm @@ -231,9 +231,7 @@ (cdr expression))))) (define (apply-primitive-function pf expression) - (if (match-primitive-function pf expression) - (apply (primitive-function-proc pf) (cdr expression)) - expression)) + (apply (primitive-function-proc pf) (cdr expression))) (define (function? x) (and (list? x) @@ -719,7 +717,6 @@ ((or x . xs) (if x x (or . xs)))) (define-macro atom? () ((atom? x) (not (pair? x)))) - (define-axiom if-not (x y z) (equal? (if (not x) y -- cgit v1.2.3