3 ms·
As others have said, datalog arose as a dialect of prolog that removed turing-completeness and expressivity, thus guaranteeing termination.
by anon291 4y ago
As others have said, datalog arose as a dialect of prolog that removed turing-completeness and expressivity, thus guaranteeing termination.