| 逻辑型语言是一类以形式逻辑为基础的语言，其代表是建立在关系理论和一阶谓词理论基础上的PROLOG。PROLOG代表Programming in Logic。PROLOG程序是一系列事实、数据对象或事实间的具体关系和规则的集合。通过查询操作把事实和规则输入数据库，用户通过输入查询来执行程序。在PROLOG中，关键操作是模式匹配，通过匹配一组变量与一个预先定义的模式并将该组变量赋给该模式来完成操作。以值集合S和T上的二元关系R为例，R实现后，可以询问：
|
|
|
|
|
|
|
|
|
|
|
| 逻辑型程序设计具有与传统的命令式程序设计完全不同的风格。PROLOG数据库中的事实和规则是一些Hore子句。Hore子句的形式为“P：-P1，P2，…，Pn.”，其中n≥0，Pi（1≤i≤n）为形如Ri（…）的断言，Ri是关系名。该子句表示规则：若P1，P2，…，Pn均为真（成立），则P为真。当n=0时，Hore子句变成“P.”，这样的子句称为事实。一旦有了事实与规则后，就可以提出询问。
|
|
|
| PROLOG可以表达很强的推理功能，适用于编写自动定理证明、专家系统和自然语言理解等问题的程序。
|
|
|
京公网安备 11010502032051号 | 营业执照