LISP - Predicados

Predicados são funções que testam seus argumentos para algumas condições específicas e retornam nulo se a condição for falsa ou se algum valor não nulo for verdadeiro.

A tabela a seguir mostra alguns dos predicados mais comumente usados -

Sr. Não.	Predicado e descrição
1	atom Leva um argumento e retorna t se o argumento for um átomo ou nil se o contrário.
2	equal Leva dois argumentos e retorna t se eles são estruturalmente iguais ou nil de outra forma.
3	eq Leva dois argumentos e retorna t se eles são os mesmos objetos idênticos, compartilhando o mesmo local de memória ou nil de outra forma.
4	eql Leva dois argumentos e retorna t se os argumentos são eq, ou se eles são números do mesmo tipo com o mesmo valor, ou se eles são objetos de personagem que representam o mesmo personagem, ou nil de outra forma.
5	evenp Leva um argumento numérico e retorna t se o argumento for um número par ou nil caso contrário.
6	oddp Leva um argumento numérico e retorna t se o argumento é um número ímpar ou nil caso contrário.
7	zerop Leva um argumento numérico e retorna t se o argumento é zero ou nil caso contrário.
8	null Leva um argumento e retorna t se o argumento for avaliado como nulo, caso contrário, ele retorna nil.
9	listp Leva um argumento e retorna t se o argumento for avaliado como uma lista, caso contrário ele retorna nil.
10	greaterp Leva um ou mais argumentos e retorna t se houver um único argumento ou se os argumentos forem sucessivamente maiores da esquerda para a direita, ou nil caso contrário.
11	lessp Leva um ou mais argumentos e retorna t se houver um único argumento ou se os argumentos forem sucessivamente menores da esquerda para a direita, ou nil caso contrário.
12	numberp Leva um argumento e retorna t se o argumento é um número ou nil caso contrário.
13	symbolp Leva um argumento e retorna t se o argumento é um símbolo, caso contrário ele retorna nil.
14	integerp Leva um argumento e retorna t se o argumento for um inteiro, caso contrário ele retorna nil.
15	rationalp Leva um argumento e retorna t se o argumento é um número racional, uma proporção ou um número, caso contrário, ele retorna nil.
16	floatp Leva um argumento e retorna t se o argumento é um número de ponto flutuante, caso contrário ele retorna nil.
17	realp Leva um argumento e retorna t se o argumento é um número real, caso contrário ele retorna nil.
18	complexp Leva um argumento e retorna t se o argumento é um número complexo, caso contrário ele retorna nil.
19	characterp Leva um argumento e retorna t se o argumento for um caractere, caso contrário ele retorna nil.
20	stringp Leva um argumento e retorna t se o argumento é um objeto string, caso contrário, ele retorna nil.
21	arrayp Leva um argumento e retorna t se o argumento for um objeto de array, caso contrário ele retorna nil.
22	packagep Leva um argumento e retorna t se o argumento é um pacote, caso contrário ele retorna nil.

Exemplo 1

Crie um novo arquivo de código-fonte denominado main.lisp e digite o seguinte código nele.

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

Quando você executa o código, ele retorna o seguinte resultado -

T
NIL
T
NIL
T
NIL
NIL
NIL
T

Exemplo 2

Crie um novo arquivo de código-fonte denominado main.lisp e digite o seguinte código nele.

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

Quando você executa o código, ele retorna o seguinte resultado -

Factorial 6 is: 720