編輯“LISP”（章節(jié)）

== 基本介紹 ==
Lisp的表達(dá)式是一個原子(atom)或表(list)，原子(atom)是一個字母序列，如abc；表是由零個或多個表達(dá)式組成的序列，表達(dá)式之間用空格分隔開，放入一對括號中，如：
<pre>
abc

()

(abc xyz)

(a b (c) d)

</pre>

最后一個表是由四個元素構(gòu)成的，其中第三個元素本身也是一個表。

正如算數(shù)表達(dá)式1+1有值2一樣，Lisp中的表達(dá)式也有值，如果表達(dá)式e得出值v，我們說e返回v。如果一個表達(dá)式是一個表，那么我們把表中的第一個元素叫做操作符，其余的元素叫做自變量。

Lisp的7個公理（基本操作符）：

'''公理一'''：

(quote x)返回x，我們簡記為'x 

'''公理二'''：

<pre>
(atom x)當(dāng)x是一個原子或者空表時返回原子t，否則返回空表()。在Lisp中我們習(xí)慣用原子t表示真，而用空表()表示假。

> (atom 'a)

t 

> (atom '(a b c))

()

>

(atom '())

t


</pre>

現(xiàn)在我們有了第一個需要求出自變量值的操作符，讓我們來看看quote操作符的作用——通過引用(quote)一個表，我們避免它被求值。一個未被引用的表達(dá)式作為自變量，atom將其視為代碼，例如：
<pre>
> (atom (atom 'a))

t

</pre>

反之一個被引用的表僅僅被視為表

> (atom '(atom 'a))

()

引用看上去有些奇怪，因為你很難在其它語言中找到類似的概念，但正是這一特征構(gòu)成了Lisp最為與眾不同的特點——代碼和數(shù)據(jù)使用相同的結(jié)構(gòu)來表示，而我們用quote來區(qū)分它們。

'''公理三'''：

<pre>

(eq x y)當(dāng)x和y的值相同或者同為空表時返回t，否則返回空表()

> (eq 'a 'a)

t

>

(eq 'a 'b)

()

>

(eq '() '())

t 

</pre>

'''公理四'''：
<pre>

(car x)要求x是一個表，它返回x中的第一個元素，例如：

>

(car '(a b))

a 

</pre>

'''公理五'''：
<pre>

(cdr x)同樣要求x是一個表，它返回x中除第一個元素之外的所有元素組成的表，例如：

>

(cdr '(a b c))

(b c)

</pre>

'''公理六'''：

<pre>

(cons x y)要求y是一個表，它返回一個表，這個表的第一個元素是x，其后是y中的所有元素，例如：

>

(cons 'a '(b c))

(a b c)

>

(cons 'a (cons 'b (cons 'c ())))

(a b c)

</pre>

'''公理七'''：
<pre>

條件分支，在Lisp中，它是由cond操作符完成的，cond是七個公理中最后一個也是形式最復(fù)雜的一個（歐幾里德的最后一個公理也如是）：

(cond (p1e1) (p2e2)...(pnen))

p1到pn為條件，e1到en為結(jié)果，cond操作符依次對p1到pn求值，直到找到第一個值為原子t（還記得嗎？）的p，此時把對應(yīng)的e作為整個表達(dá)式的值返回，例如：

>

(cond ((eq 'a 'b) 'first)

((atom 'a) 'second))

second

</pre>