In the case of Datalog, it not being Turing-complete is usually seen as a feature rather than restrictive.