2020年解放军文职招聘公共基础：PROLOG语言

PROLOG是Programming in Logic的缩写,意为“逻辑程序设计”。设计逻辑程序语言的思想最早由英国人科瓦尔斯基(R.Kowalski)提出。具体设计PROLOG语言的是法国马赛大学的科默寥尔(A.Clomerauer)及其研究小组,设计工作于1972年完成。

PROLOG以逻辑程序设计为基础,以处理一阶谓词演算为背景。它文法简洁,表达力丰富,具有独特的非过程型语言(一个语句就相当于过程语言的一个子程序而并非算法的一步),是一种具有推理功能的逻辑型语言。

PROLOG语言已被广泛地应用于关系数据库、抽象问题求解、数理逻辑、公式处理、自然语言理解、专家系统以及人工智能的许多领域。

常用的高级程序设计语言,除了上述的几种之外,还有很多,如以英国著名诗人拜伦(G.N.G.Byron)的独生女艾达·拜伦(Ada Byron)的名字命名的军用语言Ada,深受中、小学生欢迎的语言LOGO等等。

目前,程序设计语言及编程环境正向面向对象语言及可视化编程环境方向发展,出现了许多第四代语言及其开发工具。如：微软公司(Microsoft)开发的Visual系列(VC++、VB、FoxPro)编程工具及Power Builder等,目前已经在国内外得到了广泛的应用