No, datalog is a decidable subset of Prolog. That changes everything.