Prolog 备忘录

最新推荐文章于 2025-02-09 07:59:42 发布

minghu9

最新推荐文章于 2025-02-09 07:59:42 发布

阅读量772

点赞数

分类专栏： Prolog 文章标签： prolog

本文链接：https://blog.youkuaiyun.com/minghu9/article/details/55251411

版权

2 篇文章

订阅专栏

这篇博客详细介绍了Prolog编程的关键概念，包括变量与原子量的区分、运算符使用、文件后缀名、递归优化、特殊的条件语句以及模块的定义与导入。通过学习，读者将更深入理解Prolog的推断机制。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

大写或下划线开头的词暗示变量，小写开头的词暗示原子量；查询时必须使用大写或下划线开头的词。

noun(x1, x2) <=> x2‘s noun is x2
such as father(Jim, Jam) <=> Jam’s fathwer is Jim

另外，一般地，
type(x1, x2) <=> $x_1 \in x_2$

prolog 文件后缀名为 .pl 或者 .pro
最初的后缀名为.pl, 可是尴尬地同perl的后缀名冲突了，个人建议还是用.pro吧

递归时使用尾递归，优化可以使得栈空间不变

5.1

Name	symbol
小于等于	`=<` （诡异）
大于等于	`>=` （正常）

5.2 ->
条件语句

(Head1 < X2 ->
 X is Head1 /* if */
 ;
 X is X2). /* else */

不同实现可能略有不同，对于SWI-Prolog,
定义模块：

1. 文件第一行 `:- module(list, [ reverse/2, min/2 ]).`, 关键是`:-`不能漏掉

导入模块：

1. :- use_module('./soduku4step.pro', [ soduku/2 as soduku4step ]).
2. 默认全部导入
3. :- use_module(library(lists)). %导入标准库

在TopLevel交互时不需要：-

1.  查询 reverse([1, 2, 3],  X) % X 是 [3, 2, 1]
2.  判断（通过返回的bool） all_different([1, 2, 3])