用。1995年确定了ISO Prolog标准。
特点.有别于一般的函数式语言，prolog的程式是基于谓词逻辑的理论。最基本的写法是定义物件与物件之间的关系，之后可以用询问目标的方式来查询各种物件之间的关系。系统会自动进行匹配及回溯，找出所询问的答案。Prolog代码中以大写字母开头的元素是变量，字符串、数字或以小写字母开头的元素是常量。下划线（_）被称为匿名变量。
语法示例.表示事实：表示kate和bill是人（human），kate喜欢bill，