LISP - 谓词
谓词是函数，测试其参数对一些特定的条件和返回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一个新的源代码文件，并在其中输入如下代码：
(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
