问题标签 [yap]

我正在使用 time/1 来测量 YAP prolog 中的 cpu 时间，例如

514.000 CPU 在 0.022 秒内 (2336363% CPU) 是

我想问的是这些数字的解释是什么？514.000 是否代表 CPU 秒数？什么是“0.022 秒”以及随后的 CPU 百分比？

谢谢

假设我有这种情况：

我怎样才能知道上升使用的谓词和使用上升的谓词？是否有任何内置函数或元谓词对此任务有用？

我正在使用 yap。假设我有这种情况：

p(x,y) :- q(x), f(x,y), g(x)。

我需要使用命令listing(p)将谓词的主体放在一个列表中。

预期输出应为：[q,f,g]。

我怎么能这样做？

我知道在 Prolog 中定义模块的每个文件都应该以指令开头

如何检索模块在运行时导出的公共谓词列表？

解决了。

?-所有（X，[模块]：current_predicate（X），CX）。

我需要（用于设计选择）获得尊重以下模式的列表：

我能够建立名称/号码模式：

其中 rule 是一个内部事实，Ux 是一个列表。

我可以使用“/”快捷方式轻松转义斜线，但是将 (P/A) 放在引号之间呢？

怎么做？请帮我。

我正在尝试在我的 PC 上编译 yap，因为似乎 YAP 默认安装程序没有启用深度限制标志。我需要这个来处理 Aleph 上的 ILP 项目。

问题是，我被迫使用装有 Windows 8 的 PC，而没有足够的内存用于 Linux 虚拟机。我让cygwin尝试安装它，但是一旦我进入安装的“make”阶段（http://www.dcc.fc.up.pt/~vsc/Yap/Yap4.3/yap.html# SEC2 ) 我收到以下错误

我认为这是由于最新的 YAP 现在已经过时了，有谁知道如何解决这个问题？

我使用该模块在 SWI-Prolog 中编写了此代码，clpfd但是当移植到 YAP 时，根据 shell 中给出的错误消息，我发现cumulative/2谓词不可用。因此，我尝试在网上查找clpfd文档，但几乎一无所获。

该模块clpfd以某种方式导入而没有错误。

以下程序 noMetagolR 给出：

http://www.doc.ic.ac.uk/~shm/Papers/metagol_gram.pdf第 33 页。

一个示例查询是：

答案替换应该返回一个学习的语法以进行奇偶校验。

据说该程序在雅浦运行。我通常使用 SWI-prolog。无论哪种方式，我该怎么做才能让他们理解Skolem/1？大概这意味着这Skolem是一个变量？我想也许可以使用=..，但这不起作用。

还需要多少Skolem/1事实？

我对 prolog 有一些问题，特别是我无法将谓词的值与常量进行比较。

运行程序：

为什么它不起作用？谢谢您的回答。

谁能解释为什么下面的 YAP 代码不会导致变量Result被统一time_out？

根据文档，谓词应按以下方式工作：

time_out(+Goal, +Timeout, -Result)

Goal限时 执行目标Timeout，Timeout以毫秒为单位。Result如果目标成功，则与统一success。如果计时器在目标终止之前到期，则Result与统一time_out。