Turing completeness is not a requirement of a programming language! Just because you can't do infinite computation doesn't mean you can't do infinitely useful computation :)

That said, Souffle is touring complete due to its adding of constructors to the language.