Differential Datalog (DDLOG) vim plugin This is extracted from the original source. Since I failed to install it using official method somehow.