国产91青青成人a在线/在线视频成人/aaa成人永久在线观看视频/深夜草莓视频app

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