问题标签 [datalog]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
encoding - 我如何在 LogicBlox 中编码“暗示”逻辑？
我想在 LogicBlox 中编码“暗示”逻辑。我有一个谓词：
我在该谓词中添加了一些数据：
现在，我想按照以下逻辑规则创建数字 2 和数字 3，以及这两个数字的真值：
如果 isTrue[1] 为真，则 isTrue[2] 为真或 isTrue[3] 为真。(isTrue[1] 暗示 (isTrue[2] 或 isTrue[3]))
所以我创建了一个谓词：
然后我尝试创建这样的规则：
但是 LogicBlox 报告：“错误：规则头部不支持析取”
那么我如何编码这意味着LogicBlox中的逻辑？
clojure - Datomic：如何在查询中查询任意数量的数据库？
我正在使用 Datomic，并希望根据我的查询从任意数量的时间点中提取整个实体。如果我在执行查询之前知道这些实例，Datomic 文档有一些关于如何从两个不同数据库实例执行查询的不错示例。但是，我希望我的查询确定我需要的“as-of”类型数据库实例的数量，然后在拉取实体时使用这些实例。这是我到目前为止所拥有的：
我正在尝试查找其中:client实体上的某些属性发生更改的所有事务，然后在这些时间点提取实体。这条线：(map #(d/as-of (d/db db/conn) %) [1009 1018])是我尝试在我知道客户端属性发生变化的两个特定事务中创建一系列数据库实例。理想情况下，我想在一个查询中完成所有这些，但我不确定这是否可能。
希望这是有道理的，但如果您需要更多详细信息，请告诉我。
prolog - Prolog 相对于 Datalog 的优势
我一直在尝试了解在特定上下文中使用 Prolog 是否比 Datalog 有很大的优势。Prolog 是图灵完备的，而 Datalog 不是。但是使用 Prolog 还有其他实质性优势吗？
具体的上下文可能是例如关系数据库......最好使用 Prolog 或 Datalog ？
z3 - 如何使用命令行在 Z3 中运行数据记录
我尝试在 Z3（版本：4.3.2）中运行数据记录文件（test.dl，来自http://rise4fun.com/Z3/tutorialcontent/fixedpoints#h21），如下所示。
使用命令z3 test.dl，但有错误消息：
有人可以帮助如何运行数据记录文件吗？
谢谢。
python - PyDatalog 的逻辑析取
我似乎无法编写（伪代码）：为所有 X、Y 打印 X 和 Y，其中 X==True 和 Y==True 或 Y==False
目标是编写如下内容：
相反，这会准确打印出上一个命令返回的内容。
我怎样才能做到这一点？
z3 - Z3 数据日志中的错误
底部Z3中的datalog程序，查询结果
Z3给出的是：
但是，答案应该是
我对吗？这是Z3中的错误吗？
datomic - 根据数据记录中的列表测试属性
如果属性在特定集合（或列表）中，我想在数据日志中的 where 子句中进行测试。例如我想测试是否:tag-type/code在["urgent" "todo"]. 我可以做这个：
但我想成为一个参数列表。说?tag-names
所以，我想做一些这样的事情：
那可能吗 ？
mongodb - 声明式数据结构查询语言
我很难描述一种我认为必须存在并且有名字的查询语言。
简单地说，您将要接收的数据描述为值路径和任何转换、约束等的数据结构。
例如，请求这个：
将返回一个结果列表，例如：
Datalog 类型查询甚至 MongoDB 查询都有类似的感觉，但是这种类型的查询是否有名称或适合我可以更好地在 Internet 上搜索的某种设计模式？
python - 使用 pyDatalog 解析依赖关系图
我正在努力编写更具可读性的声明性程序。所以我决定实现一个我们目前使用的简单算法。程序实现如下：
- 有命令和资源
- 每个命令可以提供和需要多个资源
- 该算法将遍历所有命令并安排提供所有要求的命令。
- 该命令提供的所有资源现在都提供给
- 如果所有命令都安排好了，我们就完成了
- 如果还有命令，我们就不能满足依赖关系，我们不能为算法的迭代安排新命令
所以我想出的数据记录变体看起来不错，但有两个问题：
- 这是错误的
- 我需要一个循环来读取结果
您可以在此处找到完整的源代码。
这取决于假设，您可以使用 pytest 轻松运行它。
下面的测试失败：如果我们需要以前的“等级”或顺序提供的资源。它找不到它。我试图使跟随递归，但即使在简单的例子中它也失败了。
我的问题：
- 我是否使用了错误的工具？
- 有人知道全面的数据记录方法吗？
- 您如何实际解决上述问题？
编辑：
- 我缺少像 all() 和 exists() 这样的量词，如何在 pyDatalog 中表达？
arduino - Arduino Datalogger 网络服务器无法连接到客户端
我有一个带有以太网屏蔽 + SD 卡的 Arduino mega，运行带有 DHT22 传感器的传感器数据记录器，将传感器数据写入 SD 卡。我正在尝试实现 Web 服务器以从 SD 卡中读取该数据。我使用 Arduino 的示例制作了一个程序，但无法连接到客户端。我已经检查了以太网屏蔽连接到的计算机的 IP 地址为 192.168.0.107。程序数据记录器部分工作完美，即使实现了网络服务器，代码在编译或将文件发送到 arduino 时也没有错误。
主要问题是程序永远不会进入IF（客户端），因为有？没有客户。
这是代码：
我对这些东西很陌生，所以任何帮助将不胜感激！