Update ddlog submodule (negation in inference rules)
Update ddlog submodule (negation in inference rules)

shahin/deepdive,HazyResearch/deepdive,HazyResearch/deepdive,shahin/deepdive,sky-xu/deepdive,sky-xu/deepdive,HazyResearch/deepdive,HazyResearch/deepdive