逻辑型语言是一个数学术语。

逻辑型语言((logic language)支持用逻辑型程序设计(参见“逻辑型程序设计”)方法求解问题的语言工具.典型的逻辑型语言是PROLOG.它以一阶谓词逻辑的horn子句为语法，以Robinson归结原理为语义，加上深度优先的控制策略而形成的通用语言.它有内设的形式匹配和回溯功能.由于它出于运行效率的考虑，附加了控制机构，因而破坏了完备性，故不能看成是纯粹的逻辑型语言.逻辑型语言的一个发展方向是并行的逻辑型语言，如英国AI_VEY计划的PARLOG、并发PROLOG等.另一发展方向是将逻辑型语言和函数型、面向对象语言相结合或渗透，构造出新的语言，如I_OGLISP,POPLOG，FUNI_OG，LOOPS及IDEAL等.