Adding lb-datalog group to mode.
Adding movement by clauses.