问题标签 [yap]

我们正在使用 YQL 来获取 Yahoo! 中的配置文件信息！但是，使用 YAP 的应用程序在执行 YQL 查询时遇到了错误。我们正在使用 OpenSocial Gadget AJAX 功能进行调用。

以下是我们收到的错误消息：

我们使用的代码如下：

请看一下，让我们知道是否允许我们使用有关 YQL 的 AJAX 调用的标准小工具方法，或者我们需要遵循不同的 YQL 集成程序。

我们认为 OAuth 将以某种方式与我们的应用程序集成以实现此功能，但我们还不确定。我们能否提供一些关于如何在 Yahoo! 中使用 YQL 的指示？应用？

使用 Yap Prolog 6.2.0 和 MySQL 5.1.41，并尝试使用db_open.
http://www.dcc.fc.up.pt/~vsc/Yap/documentation.html#MYDDAS

序言源：

失败的痕迹：

我想知道 YAP 中是否有等效的 SWI 初始化文件“~/.plrc”。我想在加载 YAP 之前定义一些目录：file_search_path/2，但我不知道在哪里做。

任何帮助将不胜感激！

我正在尝试使用 JPL 进行 Java 程序和 YAP Prolog 的交互。

在我的 java 文件中，这一行抛出异常：

Query query = new Query("consult", new Term[] { new Atom("test.pl") });

异常如下所示：

虽然我没有发现有人在 YAP 中报告了同样的问题，但有些人在使用 SWI 时遇到了这个问题，建议他们验证 SWI 是在多线程支持下编译的。以防万一我编译了支持多线程的 YAP，但它没有帮助。

这个问题只发生在 OS X 中，我在 Ubuntu 中尝试过，一切正常。

有人知道 OS X 中这个问题的解决方法吗？

输入 ：

代码：

在 swi prolog 我得到了正确的答案：

yap prolog 失败。看到我应该使用 yap。

我必须用什么代替concat(abs_,L,Fct_A)？我尝试了atom_codes，但它在原子末尾附加了奇怪的ascii。请帮忙 。

当我在 GNU Prolog 和 SWI Prolog 上运行此代码时，它会正确计算差异列表中的元素数量。然而，Yap 进入了一个无限循环。

为什么 Prolog 解释器（如 Yap）在询问此查询时不会终止？

我刚刚在 VMBox 中安装了 ubuntu 12.04，现在尝试安装“YAP Prolog”。因此，我使用“git clone ...”下载代码并获取代码，我必须对其进行配置和构建。在我的 OSX 上配置和构建工作正常，但在我的 linux 发行版上，我在配置过程中遇到错误。我不明白，在互联网上找不到任何有用的东西。我可能需要一些包裹吗？如果是，如何找出哪个？

我将 config.log 放到谷歌文档中： https ://docs.google.com/document/d/1NqWwNXbHHnUT0x9uoxVqobTtmJQIrUW_4DnFrXFGn28/edit

谢谢！

（我只是 GMP 库的间接用户，主要通过swi-prolog和yap。但我对解决这个问题非常感兴趣。）

当执行具有大得离谱的值的幂运算时，主机系统或 GMP 不再能够适当地处理溢出。我已经与上述系统的开发人员进行了交谈，但他们没有看到一个简单的解决方法。

其他 GMP 系统/用户是否知道这个问题？你如何处理这样的溢出？

作为健全性检查，首先测试 7^7^7 的值，它应该是：375982...32343

例如，在 32 位系统上，查询会?- X is 13^1150000000.产生这样的溢出。以下是 YAP 提供的内容：

编辑：对于 64 位系统也是如此；像这样：

然而，

从下面：

因此，如果数字足够大，则 SWI 会检测到错误 - 因此可以由 SWI 处理（错误：消息由 SWI 处理）。

我想找到一种方法来分析我在 prolog 中编写的谓词（一个巨大的）的内存使用情况。我目前正在使用swi和yap运行它，我可以从这些进程的内存消耗中看到分配了大量内存。

问题是当谓词终止时它不会被释放/释放/垃圾收集（我必须停止解释器才能看到它）加上内存量只会在谓词运行时不断增长（无论它是否应该因为尾巴我猜，递归优化应该在每次迭代时缓解这个问题）。

有没有办法发现增加使用的内存的子谓词/调用并检查是否有效地调用了尾递归优化？

任何其他关于如何优化问题的建议将不胜感激。如果有必要，我将提供有关谓词正在做什么的更多详细信息。

处理两种不同 Prolog 解释器之间兼容性的最佳方法是什么？我已经阅读了这个问题及其答案，但我正在寻找一种方法来处理不同定义的谓词（即在 SWI 中删除不是变量明智的，而在 YAP 下它是）和新引入的谓词（即 remove_duplicates 不是存在于 SWI 的库（列表）中）。

目前我正在编写一个包含大多数谓词重定义的文件，但当然这会让两个（或两个以上）编译器之一产生重定义警告。

为了简洁起见，您可以假设我感兴趣的 Prolog 实现是 SWI 和 Yap。尽管如此，一个尽可能通用的方法将受到高度赞赏。