May 18
arch下安装了clisp
pacman -S clisp
需要帮助，输入 :h 回车.
维基百科有关于它的七条公理
Lisp 的 7 个公理（基本操作符）
基本操作符1 quote
(quote x) 返回 x，我们简记为 'x
基本操作符2 atom
(atom x) 当 x 是一个原子或者空表时返回原子 t，否则返回空表 ()。在 Lisp 中我们习惯用原子 t 表示真，而用空表 () 表示假。
基本操作符3 eq
(eq x y) 当 x 和y 的值相同或者同为空表时返回t，否则返回空表 ()
基本操作符4 car
(car x) 要求 x 是一个表，它返回 x 中的第一个元素
基本操作符5 cdr
(cdr x) 同样要求 x 是一个表，它返回x中除第一个元素之外的所有元素组成的表
基本操作符6 cons
(cons x y) 返回一个cons cell (x y)
基本操作符7 cond
(cond (p1 e1) ...(pn en)) 的求值规则如下. 对“条件表达式p”依次求值直到有一个返回t. 如果能找到这样的p表达式,相应的“结果表达式e”的值作为整个cond表达式的返回值.
