isDatalog

val Theory.isDatalog: Boolean