change names in datalog plus example for a coherent rule base

(employee, supervises, etc.)