谓词
谓词是函数,测试其参数对一些特定的条件和返回nil,如果条件为假,或某些非nil值条件为true。
下表显示了一些最常用的谓词:
| 谓词 |
描述 |
| atom |
它接受一个参数,并返回t如果参数是一个原子或,否则nil。 |
| equal |
它有两个参数,并返回t,如果他们在结构上相同或否则nil |
| eq |
它有两个参数,并返回t,如果它们是相同的相同的对象,共享相同的内存位置或否则nil |
| eql |
它有两个参数,并返回t如果参数相等,或者如果他们是同一类型具有相同值的数字,或者如果他们是代表相同的字符的字符对象,否则返回nil |
| evenp |
它接受一个数字参数,并返回t如果参数为偶数或否则为nil。 |
| oddp |
它接受一个数字参数,并返回t如果参数为奇数或否则为nil。 |
| zerop |
它接受一个数字参数,并返回t如果参数是零或否则为nil。 |
| null |
它接受一个参数,并返回t,如果参数的计算结果为nil,否则返回nil。 |
| listp |
它接受一个参数,并返回t如果参数的计算结果为一个列表,否则返回nil。 |
| greaterp |
这需要一个或多个参数,并返回t,如果不是有一个单一的参数或参数是从左到右,或如果无先后,否则为nil。 |
| lessp |
这需要一个或多个参数,并返回t,如果不是有一个单一的参数或参数是从左到右依次更小的向右,或否则为nil. |
| numberp |
它接受一个参数,并返回t如果参数是一个数字,否则为nil。 |
| symbolp |
它接受一个参数,并返回t如果参数是一个符号,否则返回nil。 |
| integerp |
它接受一个参数,并返回t如果参数是一个整数,否则返回nil。 |
| rationalp |
它接受一个参数,并返回t如果参数是有理数,无论是比例或数量,否则返回nil>。 |
| floatp |
它接受一个参数,并返回t当参数则返回一个浮点数否则为nil。 |
| realp |
它接受一个参数,并返回t如果参数是一个实数,否则返回nil。 |
| complexp |
它接受一个参数,并返回t如果参数是一个复数,否则返回nil。 |
| characterp |
它接受一个参数,并返回t如果参数是一个字符,否则返回nil。 |
| stringp |
它接受一个参数,并返回t,如果参数是一个字符串对象,否则返回nil。 |
| arrayp |
它接受一个参数,并返回t如果参数是一个数组对象,否则返回nil。 |
| packagep |
它接受一个参数,并返回t,如果参数是一个包,否则返回nil。 |
示例 1
创建一个名为main.lisp一个新的源代码文件,并在其中输入如下代码:
(write (atom 'abcd))
(terpri)
(write (equal 'a 'b))
(terpri)
(write (evenp 10))
(terpri)
(write (evenp 7 ))
(terpri)
(write (oddp 7 ))
(terpri)
(write (zerop 0.0000000001))
(terpri)
(write (eq 3 3.0 ))
(terpri)
(write (equal 3 3.0 ))
(terpri)
(write (null nil ))
当执行以上代码,它返回以下结果:
T
NIL
T
NIL
T
NIL
NIL
NIL
T
示例 2
创建一个名为main.lisp一个新的源代码文件,并在其中输入如下代码:
(adsbygoogle = window.adsbygoogle || []).push({});
(adsbygoogle = window.adsbygoogle || []).push({});
(defun factorial (num)
(cond ((zerop num) 1)
(t ( * num (factorial (- num 1))))))
(setq n 6)
(format t "~% Factorial ~d is: ~d" n (factorial n))
当执行以上代码,它返回以下结果:
Factorial 6 is: 720