前言 安装env https://www.swi-prolog.org/download/stable 特点 Prolog 常作为大型系统的嵌入式子系统的嵌入式语言 也可用作推理演绎的数据库 实现 SWI-Prolog 被广泛认为是 Prolog 语言的强大且可扩展的实现 Prolog 三个基本结构： 事实 规则 查询 事实，规则和查询是由什么构成的？ 术语 四种术语 原子 数字 变量 复杂术语 章节目录 基础文法 实践