Prolog 教程

什么是 Prolog

• Prolog 代表逻辑编程。在逻辑编程范式中，Prolog 语言被广泛使用。 Prolog 是一种声明式语言，这意味着一个程序由基于事实和规则（逻辑关系）的数据组成，而不是计算如何找到解决方案。 逻辑关系描述了给定应用程序适用的关系。
• 为了获得解决方案，用户会提出一个问题，而不是运行程序。 当用户提出一个问题时，运行时系统会在事实和规则的数据库中搜索以确定答案。
• 第一个 Prolog 是“马赛 Prolog”，它基于 Colmerauer 的工作。 第四代编程语言的主要例子是 Prolog。 它支持声明式编程范式。
• 1981 年，日本宣布了第五代计算机项目。 之后，它将 Prolog 作为开发语言。 在本教程中，程序是用“标准”爱丁堡 Prolog 编写的。 PrologII 系列的 Prolog 是其他类型的 Prolog，它们是马赛 Prolog 的后代。
• Prolog 的特点是“逻辑变量”，这意味着它们像统一的数据结构一样，一个用于搜索证明的回溯策略，一个模式匹配工具，数学变量，以及输入和输出是可互换的。
• 为了推导出答案，将有多种方法。 在这种情况下，运行时系统将被要求找到另一个解决方案。 为了生成另一个解决方案，使用回溯策略。 Prolog 是一种弱类型语言，具有静态作用域规则和动态类型检查。
• Prolog 是一种声明式语言，这意味着我们可以指定我们想要解决什么问题，而不是如何解决它。
• Prolog 用于数据库、自然语言处理、人工智能等领域，但在数值算法或实例图形等某些领域却毫无用处。
• 在人工智能应用中，使用 Prolog。 人工智能应用可以是自动推理系统、自然语言接口和专家系统。 专家系统由一个接口引擎和一个事实数据库组成。 Prolog 的运行时系统提供了一个接口引擎的服务。
• 一个基本的逻辑编程环境没有字面值。 带有大写字母和其他标识符的标识符表示变量。 以小写字母开头的标识符表示数据值。 基本的 Prolog 元素是无类型的。 大多数 Prolog 的实现都得到了增强，以包含整数值、字符和操作。 Prolog 的机制描述了元组和列表。
• 函数式编程语言和 Prolog 有一些相似之处，例如 Hugs。 逻辑程序用于由关系定义组成。 函数式编程语言用于由一系列函数定义组成。 逻辑编程和函数式编程都严重依赖递归定义。

Prolog 的应用

Prolog 的应用如下

• 规范语言
• 机器人规划
• 自然语言理解
• 机器学习
• 解决问题
• 智能数据库检索
• 专家系统
• 自动推理

前提条件

在学习 Prolog 之前，

目标受众

我们的 Prolog 教程旨在帮助初学者和专业人士。

问题

我们保证您在本 Prolog 教程中不会发现任何问题。 但如果有任何错误，请在联系表单中发布问题。