prolog例子1

最新推荐文章于 2024-08-28 12:54:48 发布

weixin_30701521

最新推荐文章于 2024-08-28 12:54:48 发布

阅读量450

点赞数

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/hozhangel/p/7778771.html

本文介绍了一个使用Prolog语言解决填字游戏问题的例子。通过定义单词和位置约束，实现了填字游戏的解答过程。文章详细展示了如何用Prolog编写规则来匹配单词，并给出了一组可行的解决方案。

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

例子来自：Prolog是如何回答问题的

请看下图：

"alt"

我们的目的是要在上面表格中白色的方格(带有LXX标识的方格)里面填上英文单词，可供选择的单词有：

word(d,o,g).    word(r,u,n).    word(t,o,p).    word(f,i,v,e). word(f,o,u,r).  word(l,o,s,t).  word(m,e,s,s).  word(u,n,i,t). word(b,a,k,e,r). 
word(f,o,r,u,m).    word(g,r,e,e,n). word(s,u,p,e,r).    word(p,r,o,l,o,g).  word(v,a,n,i,s,h).  word(w,o,n,d,e,r).  word(y,e,l,l,o,w).

试着写出一个规则solution.

solution(L1,L2,L3,L4,L5,L6,L7,L8,L9,L10,L11,L12,L13,L14,L15,L16).

分析：单词1和单词3共享字母“L1”,单词4和单词1共享字母“L3”,单词4和单词2共享字母“L12”，依次类推，我们可以把所有的约束都写出来。这样，我们就告诉Prolog系统最后的答案长得什么样

应该这么写：

solution(L1,L2,L3,L4,L5,L6,L7,L8,L9,L10,L11,L12,L13,L14,L15,L16):-
    word(L1,L2,L3,L4,L5),                  #单词一
    word(L9,L10,L11,L12,L13,L14),          #单词二
    word(L1,L6,L9,L15),                    #单词三
    word(L3,L7,L11),                       #单词四
    word(L5,L8,L13,L16).                   #单词五

写prolog文件word.pl的代码：