5 ms·
A Datalog program is guaranteed to terminate (if finite databases). A prolog or miniKanren one doesn’t. Datalog is not Turing-complete.
by cgrand-net 8y ago
A Datalog program is guaranteed to terminate (if finite databases). A prolog or miniKanren one doesn’t.
Datalog is not Turing-complete.