LISP - Predicados

Los predicados son funciones que prueban sus argumentos para algunas condiciones específicas y devuelven nil si la condición es falsa, o algún valor no nulo si la condición es verdadera.

La siguiente tabla muestra algunos de los predicados más utilizados:

No Señor.	Predicado y descripción
1	atom Toma un argumento y devuelve t si el argumento es un átomo o nil en caso contrario.
2	equal Toma dos argumentos y devuelve t si son estructuralmente iguales o nil de otra manera.
3	eq Toma dos argumentos y devuelve t si son los mismos objetos idénticos, compartiendo la misma ubicación de memoria o nil de otra manera.
4	eql Toma dos argumentos y devuelve t si los argumentos son eq, o si son números del mismo tipo con el mismo valor, o si son objetos de carácter que representan el mismo carácter, o nil de otra manera.
5	evenp Toma un argumento numérico y devuelve t si el argumento es un número par o nil si no.
6	oddp Toma un argumento numérico y devuelve t si el argumento es un número impar o nil si no.
7	zerop Toma un argumento numérico y devuelve t si el argumento es cero o nil si no.
8	null Toma un argumento y regresa t si el argumento se evalúa como nulo, de lo contrario devuelve nil.
9	listp Toma un argumento y regresa t si el argumento se evalúa como una lista, de lo contrario, devuelve nil.
10	greaterp Toma uno o más argumentos y regresa t si hay un solo argumento o los argumentos son sucesivamente más grandes de izquierda a derecha, o nil si no.
11	lessp Toma uno o más argumentos y regresa t si hay un solo argumento o los argumentos son sucesivamente más pequeños de izquierda a derecha, o nil si no.
12	numberp Toma un argumento y regresa t si el argumento es un número o nil si no.
13	symbolp Toma un argumento y regresa t si el argumento es un símbolo, de lo contrario, devuelve nil.
14	integerp Toma un argumento y regresa t si el argumento es un número entero, de lo contrario, devuelve nil.
15	rationalp Toma un argumento y regresa t si el argumento es un número racional, ya sea una razón o un número, de lo contrario devuelve nil.
dieciséis	floatp Toma un argumento y regresa t si el argumento es un número de punto flotante, de lo contrario, devuelve nil.
17	realp Toma un argumento y regresa t si el argumento es un número real, de lo contrario, devuelve nil.
18	complexp Toma un argumento y regresa t si el argumento es un número complejo, de lo contrario, devuelve nil.
19	characterp Toma un argumento y regresa t si el argumento es un carácter, de lo contrario, regresa nil.
20	stringp Toma un argumento y regresa t si el argumento es un objeto de cadena de lo contrario, devuelve nil.
21	arrayp Toma un argumento y regresa t si el argumento es un objeto de matriz, de lo contrario, devuelve nil.
22	packagep Toma un argumento y regresa t si el argumento es un paquete, de lo contrario, regresa nil.

Ejemplo 1

Cree un nuevo archivo de código fuente llamado main.lisp y escriba el siguiente código en él.

(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 ))

Cuando ejecuta el código, devuelve el siguiente resultado:

T
NIL
T
NIL
T
NIL
NIL
NIL
T

Ejemplo 2

Cree un nuevo archivo de código fuente llamado main.lisp y escriba el siguiente código en él.

(defun factorial (num)
   (cond ((zerop num) 1)
      (t ( * num (factorial (- num 1))))
   )
)
(setq n 6)
(format t "~% Factorial ~d is: ~d" n (factorial n))

Cuando ejecuta el código, devuelve el siguiente resultado:

Factorial 6 is: 720