PROLOG语言PROLOG yuan

一种高级程序设计语言，是计算机人工智能科学研究和专家系统开发的重要工具。PROLOG (PROgramming LOGic 的缩写)是逻辑程序设计之意.是70年代初期由法国人研究开发的，80年代初开始，先后在美国、法国、日本等许多国家传播使用.
PROLOG语言具有自动搜索、模式匹配、回溯等独特功能.它是一种陈述式（也称逻辑型）的程序设计语言，其他高级语言(如PASCAL,BASIC语言等)是过程式语言.过程式语言和其他系统程序设计语言一样，要编程序解决一个问题，程序员必须一步一步地告诉计算机如何求解.而PROLOG语言则不需要，只要程序员交给它一些必要的事实和规则，它就可使用演绎推理去自动求出问题的答案.
PROLOG语言接近于自然语言，具有很强的描述和解题功能，逻辑推理是它的特长.它只有三个基本语句——事实、规则、询问.程序中只有事实和规则两种语句，程序进行中，便可向系统发出询问——也就是要求解的目标，系统便会在程序中搜索找出答案.由事实和规则组成的PROLOG程序，输入到计算机里，又把它叫“数据库”.提出询问——求解目标，即到“数据库”中去搜索，与规则和事实进行匹配，找出答案.