prolog

prolog

文章 6 浏览 343

swi prolog,匹配数据

这是我的源代码,有人可以告诉我什么是错误吗?这是最好的方法,我想显示谁匹配谁......有人可以帮助我吗? % Author: % Date: 08-Sep-11 person(may,…

枯寂 2024-12-03 20:00:13 0 0

Prolog,如何在 write() 中显示多个输出

go :- match(Mn,Fn), write('--Matching Result--'), nl, write(Mn), write(' match with '), write(Fn), match(Mn1,Fn1). person(may,female,25,blue…

握住你手 2024-12-03 17:31:07 0 0

为什么我在序言中找不到斑马谜题的答案?

这是我目前的代码,我正在尝试解决斑马拼图。 exists(A,(A,_,_,_,_)). exists(A,(_,A,_,_,_)). exists(A,(_,_,A,_,_)). exists(A,(_,_,_,A,_)). exist…

热情消退 2024-12-03 16:30:58 1 0

Prolog:将列表附加到自身

假设我有一个列表 ListSum,并且我想递归地向 ListSum 追加一个新列表, appList(ListSum):- %%generate a list: ListTemp, append(ListTemp,ListSum,…

时光倒影 2024-12-03 11:31:52 0 0

Prolog 常用规则和事实

Prolog 有标准谓词库吗?我正在开发一个具有常识的聊天机器人。除了数学规则和事实之外,我还需要一些英语基本谓词,例如, even(A) :- 0 is A mod 2.…

捶死心动 2024-12-03 07:20:39 0 0

对城市进行分组的序言程序

我在这里需要帮助,这是一个作业 序言程序,显示哪些城市位于 尼日利亚东南部。以下是城市(abraka、oyo、awka、 orlu、markurdi、jalingo、oweri、ab…

此生挚爱伱 2024-12-03 03:07:33 0 0

Prolog:添加要设置的列表

下面的谓词将项目 X 添加到列表 S 中。它工作得很好。 addToSet(X, S, S) :- atomic(X), member(X, S), !. addToSet(X, S, [X|S]) :- atomic(X). 我试…

愿与i 2024-12-03 02:38:05 0 0

Prolog:单个项目与单个项目列表

在对学校的一项较大作业进行故障排除时,我发现自己犯了一个错误,即我将单个项目列表(包含一个项目的堆栈)视为单个项目。我解决了我的问题,但是在…

烟酉 2024-12-03 02:08:32 0 0

序言;关于作业中的符号的问题

我明白 isa/2 是一条规则,它需要两个对象或术语。但 isa2/2 意味着什么?那isa被定义了两次吗?…

眼睛会笑 2024-12-03 01:03:38 2 0

Prolog:查找列表中元素的最后一个索引

假设我有一个列表 [1,2,1,3,2,0,8,3,1],我想找到最后 3 个的索引,即 7, 如何在prolog中做到这一点?…

流云如水 2024-12-03 00:01:06 0 0

swi prolog,如何读取txt.file的数据

有人可以帮助我完成文件读取谓词吗? get_userinfo: write('\nEnter Name:'), readln(Name), write('\nEnter Gender:'), read(Gender), append('marri…

π浅易 2024-12-02 21:46:05 0 0

将 C# 转换为 Prolog 代码:递归 while 循环

晚上好,在解决了我之前的问题之后,这里,我在 Prolog 版本中遇到了最后一个问题: 比较规则:给定两个自定义对象,该方法找到它们之间的第一个相等…

一刻暧昧 2024-12-02 18:54:39 1 0

Prolog - 计算树中叶子的数量

例如,如果我有一棵树,如下所示: tree3(b(l(1),b(l(2),l(3)))). 我将如何编写一个计算叶子数量的程序? 我希望它在使用时看起来像这样: ?- tree3(T…

眸中客 2024-12-02 16:42:20 1 0

Prolog:如何执行“检查(a++b++c++d 等于 d++a++ ;c++b) ->是的”

让我们定义自定义运算符 - 让它为 ++、equals :- op(900, yfx, equals). :- op(800, xfy, ++). 事实上: check(A equals A). 我尝试创建谓词,让它为 …

迷路的信 2024-12-02 02:17:41 0 0

非法学期开始

GNU Emacs 23.2.1 prolog-mode-version 是“prolog.el”中定义的变量。它的值是“1.22” 我查阅了以下文件: body(mercury, 36, small, none, none). …

遥远的她 2024-12-02 01:03:02 0 0
更多

推荐作者

已经忘了多久

文章 0 评论 0

15867725375

文章 0 评论 0

LonelySnow

文章 0 评论 0

走过海棠暮

文章 0 评论 0

轻许诺言

文章 0 评论 0

信馬由缰

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文