3 ms·
Prolog, of which Datalog is a syntactical subset, is an ISO standard since 1995.
by tannhaeuser 8y ago
Prolog, of which Datalog is a syntactical subset, is an ISO standard since 1995.
- mathetic 8y agoThat doesn't help at all because although Datalog is a syntactic fragment, its dynamic semantics are very different, so the operations defined in Prolog standard are suggestive at best and completely nonsensical at worst. For example, the program `p(X) :- p(X)` with query `?- p(X)` is an infinite loop in Prolog but in Datalog it terminates trivially and is equal to the empty set of facts for `p` in the absence any other facts.