问题标签 [logicblox]

我正在使用 Ubuntu 14.04 64 位。安装 logicblox 时，出现以下错误。我应该如何解决？

我使用 Ubuntu 14.04 64 位安装 LogicBlox 3.10 当我尝试这样做lb-services start 时会提示我 error: service 'BloxPager' did not start. Aborting.

内容如下~/lb_deployment/logs/current/BloxPagerDaemon.log

在 /etc/fstab 中，内容为

我应该如何改变它？

顺便说一句，在 /dev/shm 中，我尝试删除 LB_ubuntu 以外的所有内容，但它似乎没有用。

我尝试从 Logic Blox 3.10 中的 Doop 测试集中运行逻辑文件。我依次使用以下命令运行analysis.js文件夹中的文件：1-call-site-sensitive

它提示我以下错误：

我是否正确运行它？我已在此链接中附加了使用 LogicBlox 运行的所有文件：

我的 logicblox 程序以一组 T 初始事实和一组 R 规则开始。它得出最终的一组事实 T'。

对于一次运行，使用了一个规则和几个事实，它得出了一些新的事实。如何提取有关已执行运行的所有信息？

是否可以提前提取与某些派生事实相关的运行？

我有一个实体谓词，例如。具有相关功能谓词的“人”存储有关实体的属性。

例如。

我想做的是在终端中，执行相当于 SQL 查询的操作：

我知道 print 命令可以获取单个功能谓词的详细信息，但我想获得它们的组合。

如果我有两个谓词（不起作用）：

我可以添加事实：

这些是谓词中的事实查询：

我的问题是如何进行查询以显示 1. 两个表中的 city_dim_id 是什么，2. 返回 city_dim_id 和 city_name，但仅在两个表中都存在 city_dim_id 的地方？

提前致谢。

我刚刚开始使用 LoqiQL 和 LogicBlox。在查看不同的运算符时，我遇到了事务 ID和唯一标识符。这两个运算符的用例是什么？

是否可以在 Logicblox 中对集合进行建模。具体来说，我想要一个set of Integers，比如说{1,4,9}，并想检查该集合是否为空集，以及某个元素是否属于该集合。

我有一个包含许多“复杂”规则的 logiql 文件。

这里有些例子：

出于我的目的，最好只有简单形式的规则：每个规则只有一个派生元组，并且没有规则的“或”组合。

logicblox 是否提供一些仅包含更简单规则的中间表示输出？

我正在尝试使用参考手册中描述的唯一 ID 。但是，我收到以下错误：

如何安装这个模块？