Datalog vs CLIPS vs Prolog
与我在大学学习 Prolog 的程序员一样多，但只学过很少.我知道Prolog和Datalog密切相关，但Datalog更简单?另外，我相信我读到 Datalog 不依赖于逻辑子句的顺序，但我不确定为什么这是优势.CLIPS 应该是完全不同的，但它太微妙了，我无法理解.有人可以提供这些语言相对于其他语言的一般亮点吗? 解决方案 datalog 是prolog 的一个子集.datalog 携
..
datalog相关内容
查找 ref-to-many 属性包含输入的所有元素的实体
假设我有实体 entry 和 ref-to-many 属性 :entry/groups.我应该如何构建查询以查找其 :entry/groups 属性包含所有我输入的外部 ID 的实体? 下一个伪代码将更好地说明我的问题: [2 3] ;将此作为输入外来 ID;;并在数据库中有这些条目实体[{:entry/id "A" :entry/groups [2 3 4]}{:entry/id "B"
..
使用 SMTLib for z3 的 Datalog 中的循环关系
我想用 SMTLib 格式表达这个问题，并使用 Z3 进行评估. edge("som1","som3").边缘(“som2"，“som4").边缘(“som4"，“som1").边缘(“som3"，“som4").路径(x，y): - 边缘(x，y).% x 和 y 是字符串路径(x，z):-边(x，y)，路径(y，z).:- 路径(x,y), 路径(y,x).%循环路径. 我的问题是如何编写
..
如何用原子表示数据透视表（上面有额外的数据）？
我意识到我们不需要datomic中的普通数据透视表，因为我们可以选择关系的一侧，并在其上放置：db.cardinality / many 属性那里（请务必仅在一个方向上对 ）。 我从sql转换时遇到的下一件事是数据透视表，该数据透视表还存储关系的属性，例如： series_subscriptions user_id int series_id int expires_at
..
地理查询性能改进
在Datomic数据库中，我有一个与此相似的架构： ; ---租户 {：db / id＃db / id [：db.part / db] ：db / ident：tenant / guid ：db / unique：db.unique /身份 ：db / valueType：db.type / string ：db / cardinality：db.cardinality / one
..
查找其ref-to-many属性包含输入的所有元素的实体
假设我有实体 entry ，且具有ref-to-many属性：entry / groups 。我应该如何构建查询以查找其：entry / groups 属性包含我所有输入的外国ID的实体？ 下一个伪代码将更好地说明我的问题： [2 3]；将其作为输入的外国ID ;;并将这些条目实体放入db [{：entry / id“ A”：entry / groups [2 3 4]}
..
数据记录vs CLIPS vs Prolog
与许多程序员一样，我在大学学习过Prolog，但很少.我了解Prolog和Datalog紧密相关，但是Datalog更简单吗?另外，我相信我读到Datalog不依赖于逻辑子句的顺序，但是我不确定为什么这是优点. CLIPS完全不同，但是对我来说太微妙了.有人可以提供其他语言的一般亮点吗? 解决方案 datalog是prolog的子集.数据日志携带的子集有两点注意: 采用支持规则和查询
..
DLV清单组成
我想知道DLV中是否有一种方法可以创建包含规则中所有谓词的元素的列表.例如，如果我有以下谓词 foo(a, b). foo(a, c). foo(a, e). foo(b, c). 我要查找的结果应该是新的谓词，其中第一个元素是foo的第一个参数，第二个参数应包含一个列表，其中所有元素都与第一个参数相关联.凭经验: bar(a, [b,c,e]). bar(b, [c]). 我
..