datalog signals and tasks + improvements on Datalog model