七周七语言之Prolog代码学习(声明式编程语言)

最新推荐文章于 2021-06-10 09:24:11 发布

Ruby妙音

最新推荐文章于 2021-06-10 09:24:11 发布

阅读量2.4k

点赞数 1

分类专栏：七周七语言读书文章标签： Prolog

本文链接：https://blog.csdn.net/huopo125/article/details/42305099

版权

本文介绍了Prolog编程语言，通过示例展示了如何用Prolog编写找朋友、递归、数独和八皇后问题的解决方案。Prolog适用于自然语言处理、游戏建模、语义网和人工智能等领域，但其非通用性、处理大规模数据的局限以及混合编程模型可能带来挑战。

摘要由CSDN通过智能技术生成

# 若一个词以小写字母开头，它就是一个原子(atom)；若以大写字母或下划线开头，那么它就是一个变量。变量的值可以改变，但原子不可以。
#找朋友
likes(wallace, cheese).     # 事实
likes(grommit, cheese).   # 事实
likes(wendolene, sheep). # 事实

friend(X,Y) :- \+(X = Y), likes(X, Z), likes(Y, Z).   # 规则,\+是取反

实际操作：

# 递归
father(zeb, john_boy_sr).
father(john_boy_sr, john_boy_jr).

ancestor(X,Y) :- father(X,Y).
ancestor(X,Y) :- father(X,Z), ancestor(Z,Y).

# 数独
valid([]).
valid([Head|Tail]) :- fd_all_different(He