Updated Term notion to reflect datalog