当前分类:datalog

Z3 muZ + 未解释的函数?

count - 答案集编程 - 如何计算我的查询结果中出现的事实数量?

z3 - Z3 中的固定点

clojure - 在 (datomic.api/q '[]) 之外定义数据记录查询组件

encoding - 如何在 LogicBlox 中编码 "implies"逻辑?

sparql - RDFox 守护进程端口

java - 如何使用 Datalog 查询接口(interface)公开巨大的语义图(链接数据)

clojure - 为什么此数据记录查询会聚合?

prolog - datalog 和 prolog 的语义是什么?

Datomic 将谓词应用于基数很多的属性

graph-theory - 在数据记录中添加循环边缘 (bddbddb)

clojure - 我可以将实体及其父组件一直拉到组件树中吗?

sparql - 数据记录规则需要永远计算

sparql - RDFox:本地IRI ':born_in'中的前缀名称尚未绑定(bind)

rdf - rdf 图上的数据记录规则改变事实的( bool )值

datalog - Datalog 中是否可以查询不存在?

datomic - 数据日志中的参数化和不区分大小写的查询(数据)

datomic - DataLog 等同于 SQL 吗?

聚合值最大值的数据查询

使用列表的 Prolog 到 Datalog 代码转换

热门标签: