基本介紹
- 中文名：POP-2程式設計語言
- 外文名：POP - 2 programming language
- 類型：人工智慧語言
- 系統：計算機
- 套用學科：計算機原理
- 出現時間：1960年
程式簡介,數據,特點,
程式簡介
Edinburgh大學人工智慧研究者開發了POP-2語言，這是因為LISP語言在他們使用的機器上不能夠很好地滿足他們的需要，還因為他們對LISP語言某些常用的特性有不同的看法，因此他們把LISP語言改進成POP-2語言(Popple-stone，1967年)，POP一2語言現在在英國仍然是最通用的人工智慧語言，但是它沒有找到在其他方面更廣泛的套用，它有很多LISP語言的特點，但是也有類似ALGOL語言的句法，和LISP語言一樣，POP-2語言是互動式的而且具有通用的函式處理，它有一些新穎的特性，包括特殊的套用函式，動態表(生成器)以及允許多值過程的顯式堆疊處理，POP語言被設計成能在中型機上有效地實現，這對這種語言的設計者來說是有益的。
POPLER語言是基於PLANNER語言並且保留了POP-2語言很多特點的另一種語言(Daries等人，1973年)。POPLER語言進一步區別開從要達到的目標斷言中推導出在世界模型中斷言值的這些過程，從而從老的模型申產生新的世界模型。
數據
POP-2有一個很豐富的數據類型集合，它們中的許多是更一般類型的標準的特殊情況，像下面所表明的，例如POP-2的數據類型STRIP(條)是任何類型元素的一個序列，而且數據類型STRING(串)是CHARACTER(字元)的一個STRIP(條)，RECORD(記錄)數據類型的特殊形式包含POINTER(指針)，ATOM(原子)和ORDERED PAIR(有序對)(像LISP的CONS單元)，POP-2的ARRAY(數組)數據類型是FUNCTOIN(函式)，(概念上的數組，作為索引元素的函式)數據類型的特殊形式，數據類型分為簡單的和合成的兩種。整數、布爾型、實數、指針和原子是簡單的，其餘的是合成的，用戶定義的數據類型是允許的。
POP-2具有以一致的方法處理所有數據類型的有用特性(為了使程式設計清晰和容易)，任何類型的數據可以是：
1．用作函式的實際參數。
2．返回作為函式的結果。
3．設定各數據類型的變數。
4．測試相等性。
合成數據類型的各分量總是由下面列表說明的四種函式訪問，在用戶定義的類型情況下，用戶必須提供四種函式，注意，分裂(destructor)函式在這裡表示產生兩個輸出，一般POP-2函式能夠產生多個輸出，也要注意選擇器(selector)和修改器(up-dater)有相同的名字。
特點
1960年後期問世的一種人工智慧語言。它是一種會話式語言，提供了很多的非數值和數值應用程式。其特點為：
(1)語法完整、簡單，允許立即執行，增加了標識符動態作用域編譯功能；
(2)程式模組化；
(3)數據類定義帶有運行時間類型檢測；
(4)自動進行無用單元收集；
(5)有回溯原語；
(6)函式是可以用程式處理的對象，並且可以由程式來產生。用戶不能存取函式體的內部。不區分解釋程式和編譯程式這兩種模式。
POP一2有兩種方言，一個是DEC一10機上實現的WPOP，另一個是VAX機上實現的POP一11。
POP—11是在POP一2基礎上開發的人工智慧程式設計語言。在語法上增加了內部模式匹配程式、可自動裝載的庫檔案、存取編譯子程式、控制設備等，編譯與運算同時進行。它有大量的示教程式和文本檔案。
