Added rules for true? and false?
Instead of (= true ?x), consider (true? ?x). Same for false?
This commit is contained in:
parent
5977fef261
commit
c969207892
2 changed files with 6 additions and 0 deletions
|
@ -17,6 +17,10 @@
|
||||||
[(< ?x 0) (neg? ?x)]
|
[(< ?x 0) (neg? ?x)]
|
||||||
[(> 0 ?x) (neg? ?x)]
|
[(> 0 ?x) (neg? ?x)]
|
||||||
|
|
||||||
|
;; true? false?
|
||||||
|
[(= true ?x) (true? ?x)]
|
||||||
|
[(= false ?x) (false? ?x)]
|
||||||
|
|
||||||
; nil?
|
; nil?
|
||||||
[(= ?x nil) (nil? ?x)]
|
[(= ?x nil) (nil? ?x)]
|
||||||
[(= nil ?x) (nil? ?x)])
|
[(= nil ?x) (nil? ?x)])
|
||||||
|
|
|
@ -14,6 +14,8 @@
|
||||||
'(pos? x) '(> x 0)
|
'(pos? x) '(> x 0)
|
||||||
'(neg? x) '(< x 0)
|
'(neg? x) '(< x 0)
|
||||||
'(neg? x) '(> 0 x)
|
'(neg? x) '(> 0 x)
|
||||||
|
'(true? x) '(= true x)
|
||||||
|
'(false? x) '(= false x)
|
||||||
'(nil? x) '(= nil x)
|
'(nil? x) '(= nil x)
|
||||||
'(nil? x) '(= x nil)))
|
'(nil? x) '(= x nil)))
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue