本書主要介紹如何利用數(shù)學(xué)符號操作、基于規(guī)則的系統(tǒng)和通用程序構(gòu)建靈活的軟件，并利用依賴系統(tǒng)跟蹤、解釋和控制回溯。第1章通過對編程哲學(xué)的介紹提出靈活性的概念。第2章探討如何用一些普遍適用的方法構(gòu)建易于擴(kuò)展的系統(tǒng)。第3章介紹謂詞分派的通用程序。第4章介紹符號模式匹配，首先啟用術(shù)語重寫系統(tǒng)，然后通過合一展示類型推理的實現(xiàn)。第5章探討解釋和編譯。第6章展示如何構(gòu)造分層數(shù)據(jù)和分層程序的系統(tǒng)，并用各種元數(shù)據(jù)注釋其中的數(shù)據(jù)項。第7章引入傳播這一概念來擺脫計算機(jī)語言的面向表達(dá)式范式。