Mangle: Programming language for deductive database programminggithub.com/google1 pointblopeur4 years ago