LISP - 谓词 - 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