-
邏輯型語言
鎖定
邏輯型語言是一個數學術語。
- 中文名
- 邏輯型語言
- 外文名
- logic language
邏輯型語言((logic language)支持用邏輯型程序設計(參見“邏輯型程序設計”)方法求解問題的語言工具.典型的邏輯型語言是PROLOG.它以一階謂詞邏輯的horn子句為語法,以Robinson歸結原理為語義,加上深度優先的控制策略而形成的通用語言.它有內設的形式匹配和回溯功能.由於它出於運行效率的考慮,附加了控制機構,因而破壞了完備性,故不能看成是純粹的邏輯型語言.邏輯型語言的一個發展方向是並行的邏輯型語言,如英國AI_VEY計劃的PARLOG、併發PROLOG等.另一發展方向是將邏輯型語言和函數型、面嚮對象語言相結合或滲透,構造出新的語言,如I_OGLISP,POPLOG,FUNI_OG,LOOPS及IDEAL等.
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:4次歷史版本
- 最近更新: 小爱_四季私语