邏輯型語言

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