Mangle, a programming language for deductive database programminggithub.com/google187 pointsaarroyoc4 years ago