Mangle, a programming language for deductive database programming