邏輯型語言

邏輯型語言是一個數學術語。

基本介紹

  • 中文名:邏輯型語言
  • 外文名:logic language
邏輯型語言((logic language)支持用邏輯型程式設計(參見“邏輯型程式設計”)方法求解問題的語言工具.典型的邏輯型語言是PROLOG.它以一階謂詞邏輯的horn子句為語法,以Robinson歸結原理為語義,加上深度優先的控制策略而形成的通用語言.它有內設的形式匹配和回溯功能.由於它出於運行效率的考慮,附加了控制機構,因而破壞了完備性,故不能看成是純粹的邏輯型語言.邏輯型語言的一個發展方向是並行的邏輯型語言,如英國AI_VEY計畫的PARLOG、並發PROLOG等.另一發展方向是將邏輯型語言和函式型、面向對象語言相結合或滲透,構造出新的語言,如I_OGLISP,POPLOG,FUNI_OG,LOOPS及IDEAL等.

相關詞條

熱門詞條

聯絡我們