search

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

Compiler ignores constants in head atoms of an inference rule #103

Open alldefector opened 8 years ago

alldefector commented 8 years ago

This rule

@weight(f)
tag(w, "GROOVY") :- features(w, f).

is compiled as if it's

@weight(f)
tag(w, t) :- features(w, f).
netj commented 8 years ago

This is pretty nasty.. can the following be a workaround?

@weight(f)
tag(w, t) :- features(w, f), t = "GROOVY".
alldefector commented 8 years ago

Yes, that works.