标签： prolog logic-programming datalog
我最初给这个问题加上标题，“逻辑语言是否比Prolog快，但表达能力比Datalog高？” Datalog快速且可扩展，但不能让您计算两组之间的差异。我相信我需要表达否定和递归。我不需要规则首长的否定，但在他们的身上，是的。
Prolog是满足这些要求的最小语言，还是更简单-因此大概更快？