prolog

prolog

文章 6 浏览 343

在 SWI-Prolog 中写入格式化文本

我在 SWI-Prolog 文档上花费了大量时间,但一无所获。我的愿望是能够格式化输出的数字,以便我控制显示的总小数位数,并在给定的字符宽度中右对齐数字…

看春风乍起 2024-12-08 06:43:56 0 0

扫描序言中的列表

我想扫描 Prolog 中的列表。 特别是,我想编写一个谓词 scan_list (list),我想让它检查当前元素是否是正整数,如果是则打印它。 谢谢。…

无可置疑 2024-12-08 00:13:13 1 0

在 BProlog 上运行 CG 图形?

我最近安装了 B-pr​​olog 并尝试了这里的 CG 图形示例 http://www.probp.com/ 根据根据他们的手册,我已经在 C:/ 驱动器中安装了 B prolog,并且它…

夜巴黎 2024-12-07 20:06:12 0 0

序言中的水壶

这是一个水壶的问题。较大的桶可容纳 5 个,较小的桶可容纳 3 个。我想在较大的桶中放入 4 个。 问题是当我运行时我无法得到任何答案,它会产生错误。…

╭ゆ眷念 2024-12-07 17:57:34 0 0

Prolog - 变量作为运算符

我有一个运算符存储在变量 Op 中,两个整数存储在 X 和 Y 中。现在,我想做类似 (Z is X Op Y) 的操作,但这种语法似乎不正确。 有谁知道 Prolog 中是…

蓝眼睛不忧郁 2024-12-07 16:28:13 0 0

Prolog 编程 - 解决方案的途径

我在大学学习序言并面临一些问题。我已经发现的只是解决问题的方法。然而,我更感兴趣的是思考的方式,即如何得到这样的解决方案。 有人可以给我关于…

山川志 2024-12-07 02:43:13 0 0

涉及大括号的语法

我正在尝试解决序言中的 DCG 语法并在一定程度上取得了成功,但我一直在评估涉及此类大括号的表达式。 expr( T, ['(', 5, +, 4, ')', *, 7], []), exp…

花开浅夏 2024-12-06 14:58:16 0 0

天气预报

彼得根据天气预报决定周末做什么。 这是可用的信息: 周六天气晴朗,周日天气晴朗。 每当阳光明媚的时候,彼得就去海滩。 每当下雨天,他就呆在家里。…

不如归去 2024-12-06 14:54:33 0 0

对 swi-prolog 等中的每个列表元素执行操作

如何按顺序对列表中的每个元素进行操作? 基于这两个资源: http://www.swi-prolog .org/pldoc/doc/swi/library/lists.pl http://www.swi-prolog.org/…

诺曦 2024-12-06 12:54:31 0 0

“不存在”在 swi-prolog 中

我陷入了序言中的一个简单问题。 程序 worker(bill). worker(smitt). worker(fred). worker(dany). worker(john). car(bmw). car(mazda). car(audi). …

假扮的天使 2024-12-06 07:59:56 0 0

无法从 CLPFD 中最小化工作

我和一个朋友正在编写一个程序,旨在解决 CLP 问题。我们想使用最小化来优化解决方案,但它不起作用,因为它一直说我们从 sum(P,#=,S) 得到的数字在两…

近箐 2024-12-06 06:22:25 0 0

Sicstus Prolog - 将单词放入列表中

还有一个问题: 有一个包含一些单词的列表。如果单词的长度超过给定长度(例如 4),它将被放入另一个列表中。 我尝试过: require_min_length([], _,…

农村范ル 2024-12-06 06:15:28 0 0

需要帮助理解附加列表元素的序言方法

append([],Xs,Xs). append([Head|Tail],List2,[Head|Tail2]):- append(Tail,List2,Tail2). 上面的追加方法将前两个参数槽中的元素添加到第三个参数变…

坏尐絯℡ 2024-12-06 05:03:04 0 0

如何在prolog中计算prolog中父母的孩子数量(不使用列表)?

我有以下问题。我有一定数量的事实,例如: 父母(简,迪克)。 父母(迈克尔,迪克)。 我想要一个谓词,例如: 孩子数量(迈克尔,X) 所以如果我这…

城歌 2024-12-06 04:02:24 0 0

Prolog 元谓词:将谓词应用于列表,传递常量

假设您需要一个谓词将列表中的 Number1 替换为 Number2。 当然,为此编写一个递归函数很简单,例如: replace(_,_,[],[]). replace(N1,N2,[N1|T], [N2…

墨小墨 2024-12-06 03:47:25 0 0
更多

推荐作者

已经忘了多久

文章 0 评论 0

15867725375

文章 0 评论 0

LonelySnow

文章 0 评论 0

走过海棠暮

文章 0 评论 0

轻许诺言

文章 0 评论 0

信馬由缰

文章 0 评论 0

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