ports/lang/datalog/patches
