Navco Piping Datalog