iso-prolog

iso-prolog

文章 0 浏览 2

在 Prolog 中定义谓词的最佳方法

我在 Prolog 中定义过程时遇到问题。 我有两个源文件,想用它们来查询 Prolog 引擎。 这可以通过调用 Prolog 作为 swipl -g “['1.pl','2.pl'] 来完成…

沫雨熙 12-23 17:08 0 0

+,+ 是什么意思? Prolog中的模式是什么意思?

所以我被告知特定谓词必须在 +,+ 模式下工作。这在 Prolog 中意味着什么?…

壹場煙雨 12-18 05:35 0 0

列表内部或外部的序言对有什么用

我在 SWI-PL 文档中多次遇到键值对,但无法获得有关它们的详细信息。这是序言中的标准内容还是只是 swi pl 的扩展? 主要在这里找到: http://www.swi…

会傲 12-14 07:47 1 0

prologatom concat swi 和 yap prolog

输入: run([p(X,Y,Z),h(Z,P,Q)],Out). 代码: :- ensure_loaded(library(lists)). run([X|Y],Out) :- X =.. [Fct|Args], X =..Total, length(Args,L)…

流殇 11-25 21:06 4 0

为什么 gnu prolog 不支持“false”谓词? (我已经改成swi了)

我一直在使用 gprolog 在 prolog 中做一些事情。但现在当测试更多代码时我发现它不支持“false”。 swi支持哪些?…

黑白记忆 10-01 14:57 11 0

为什么 SWI-Prolog 将带引号和不带引号的字符串(不含空格)统一为同一规则?

假设我有以下规则: unify('test', 'this is a test'). run :- write('Enter something: '), read(X), unify(X, Y), write('The answer is '), write(…

可是我不能没有你 10-01 04:50 10 0

在 SWI-Prolog 中 [a|b|c] 的计算结果是什么?

prolog 中的管道运算符返回一个或多个原子头列表和一个尾列表。 ?- [a,b,c] = [a,b|[c]]. true. 在单个匹配中嵌套多个管道可以类似于以下方式完成: ?…

原来分手还会想你 09-04 06:14 12 0

'如果'在序言中?

有没有办法在序言中执行 if 操作,例如,如果变量为 0,则执行一些操作(将文本写入终端)。甚至不需要 else,但我找不到 if 的任何文档。…

捂风挽笑 09-01 11:25 10 0
更多

推荐作者

π浅易

文章 0 评论 0

吃兔兔

文章 0 评论 0

檐上三寸雪

文章 0 评论 0

mb_OO8gCSDD

文章 0 评论 0

不学无术

文章 0 评论 0

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