6 ms·No, datalog is a decidable subset of Prolog. That changes everything.by usgroup 8mo agoNo, datalog is a decidable subset of Prolog. That changes everything.