回答情况：
提问时间：
问题标签：
我一直在试图理解，在特定的上下文中使用Prolog优于Datalog是否有很大的优势。Prolog是图灵完整的，而Datalog不是。但是，使用Prolog还有其他实质性的优势吗？例如，特定的上下文可以是关系数据库.使用Prolog或Datalog更好吗？
浏览 5修改于2015-10-26得票数 0
1回答
那么，在Datalog-land中如何模拟/调用OR条件呢？
这可能是关于DataLog最基本的问题，但是喂，这是我第一次尝试使用它;)
浏览 0提问于2019-06-17得票数 1
回答已采纳
在Datalog Racket中，是否可以将定义为"#lang datalog“的文件x中定义的知识库导入到另一个声明为"#lang racket”的文件y中？例如： ;; x.rkt
;;(datalog parent (?
浏览 23修改于2020-10-28得票数 1
回答已采纳
如果Datalog基于等价于SQL的一阶逻辑，为什么Datalog可以表达传递性(这在SQL/一阶逻辑中是无法表达的)？
说它有SQL的表现力。或者，Datalog是带固定点的一阶逻辑？这里我漏掉了什么？
浏览 51提问于2018-09-08得票数 3
我知道Prolog和Datalog关系密切，但Datalog更简单？此外，我相信我读到Datalog不依赖于逻辑子句的顺序，但我不确定为什么这是优点。
浏览 0提问于2010-10-13得票数 30
回答已采纳
我目前正在为课堂上的报告学习Datalog，我只需要讨论基本语法和一个基本示例。我知道Datalog通常被用作一种查询语言，通常只用于其他语言，如Java、Lua、C等，但是否可以单独教授Datalog，还是需要我使用另一种语言来实现它以显示一个简单的工作程序？
浏览 6提问于2016-11-13得票数 0
回答已采纳
我想创建一个约束来过滤nxn矩阵中的所有重复行，其中每个字段都由0或1组成。该矩阵最多可以是10x10行和列。例如，我们有以下4x4矩阵：1 1 1 01 0 1 1有人能给我点提示吗？
浏览 0提问于2013-04-30得票数 0
回答已采纳
我的猜测是，错误是通过OCaml库Datalog发布的(我已经从安装了版本0.3 )，因为文件中的第308行是/tmp/ocamlpp466ee0，这是下面代码中的第一个 type t = atom let hash = hash_atom
let to_string
浏览 2修改于2013-10-16得票数 0
回答已采纳
LogicBlox数据库是使用LogiQL语言编写的，该语言是根据其站点的某种形式的Datalog：
应用程序是使用LogiQL语言编写的，该语言是Datalog的扩展版本。Datalog和LogiQL到底有什么区别？
浏览 3提问于2013-10-17得票数 5
回答已采纳
我还在考虑如何将Datalog程序的递归性转换为SQL，例如Q(x,y) <- P(x,z), A(y).
其中A/1是EDB谓词。
浏览 0修改于2011-07-04得票数 5
使用Prolog的子集很容易识别Datalog，它不使用函数符号，而只使用常量和变量。但是，不使用否定的纯Datalog还有一个进一步的约束(*)：我们是否可以得出这样的结论:单边统一足以回答分层的Datalog查询？或者，在single 8.3.19中是否有一些例子，其中(=>)/2用于单面您一直想知道的关于Datalog的信息
塞里等人阿尔。-1989年
浏览 9提问于2021-02-22得票数 1
我试图将移植到Racket中的Datalog，使用底部的示例。#lang datalog
path(X, Y) :- edge(X, Y).read: expected a `]' to close `['
如何用Datalog表示列表？谢谢你的帮助。
浏览 8提问于2017-09-13得票数 0
回答已采纳
我想知道如何将这个Prolog代码翻译成在Datalog中工作。
我不认为它将与Datalog一起工作，因为我们不允许在Datalog中使用像nullable(rule(z,[d]))这样的东西。另外，我不知道Datalog是否允许列表。也许另一种选择是将规则写成字符串，但我不知道Datalog是否允许字符串，以及是否所有需要的字符串函数都可用。
浏览 3修改于2021-10-30得票数 4
回答已采纳
我试图使用带有定点约束的Z3扩展: muZ，遵循本教程：。在本教程中，我有此形式的程序：
S(x) :- Gt(x,x0), Gt
浏览 0修改于2018-06-11得票数 1
回答已采纳
是查询关系数据的一种很好的语言。它简单、清晰、组合良好，并且不需要额外的语法就支持递归查询。我想知道是否有一种相当标准的方法将数据查询转换为SQLite支持的递归SQL，或者是否有提供此功能的库。
浏览 3提问于2017-01-19得票数 2
回答已采纳
我正在寻找一个好的教程，关于如何实现一个基本的Datalog解释器的学习目的。我发现了很多关于如何使它们更快或添加一些特性的文章，但是没有一个描述如何实现基本的特性。
浏览 1提问于2018-12-09得票数 1
回答已采纳
我正在尝试编写一个简单的数据模拟规则来操作RDF本体中的布尔值。我现在正试着用RDFox作为推理者。:citizenVaccinated rdfs:label "vaccinated"; :isCitizenOf : uk
:hasValue xsd:True.
:basicInformationCheck rdfs:label "basicInform
浏览 4修改于2021-10-11得票数 2
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号