Support @name for inference rules

HazyResearch / ddlog

Compiler for writing DeepDive applications in a Datalog-like language — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👇🏿

https://github.com/HazyResearch/deepdive/tree/master/compiler/ddlog

19 stars 4 forks source link

Support @name for inference rules #106

Closed alldefector closed 8 years ago

alldefector commented 8 years ago

Maintains sanity when there are more than a handful of rules...

coveralls commented 8 years ago

Coverage decreased (-0.08%) to 93.742% when pulling d8658acccbe8ad75d44c14571ffe05707904f448 on rule_name into aa16dded53f437d6d5a86713544ef0f748691a14 on master.

coveralls commented 8 years ago

Coverage decreased (-0.08%) to 93.742% when pulling d8658acccbe8ad75d44c14571ffe05707904f448 on rule_name into aa16dded53f437d6d5a86713544ef0f748691a14 on master.

netj commented 8 years ago

This is awesome! A feature many wanted for too long. I thought we had an issue open somewhere but can't find it. Other than a potentially confusing corner case, looks good to me. I'll take care of it and merge.

coveralls commented 8 years ago

Coverage increased (+0.08%) to 93.91% when pulling 96b9aee82e49313672d35d7a6bcccee30e345d27 on rule_name into aa16dded53f437d6d5a86713544ef0f748691a14 on master.