人工智能程序設計語言 (PPT 150頁)

主要內容
2.1 綜述
2.2 函數型程序設計語言LISP
2.3 邏輯型程序設計語言PROLOG
2.4 Turbo PROLOG程序設計

內容摘要
2.1.1函數型語言
LISP是一種函數型程序設計語言。LISP程序由一組函數組成，程序的執行過程就是一係列的函數調用和求值過程。但LISP還不是純函數型語言，準確地講，它是基於λ--函數的語言。除LISP外，20世紀70年代J.Backus還提出了一種稱為FP的所謂純函數型程序設計語言。但該語言現在還限於理論研究，實現上還存在一定困難。
2.1.2邏輯型語言
邏輯型程序設計語言起源於PROLOG(PROgramminginLOGic的縮寫)。PROLOG語言首先由法國馬塞大學的Colmerauer和它的研究小組於1972年研製成功，後來在歐洲得到進一步發展。特別是1981年日本宣布要以PROLOG作為他們正在研製的新一代計算機——智能計算機的核心語言，更使PROLOG舉世矚目，迅速風靡世界。

..............................