Datalog by composition of other people's libraries