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表达式的返回值.