Update Clingo (and possibly DLV) output grammar

idaks / PW-explorer

Apache License 2.0

16 stars 1 forks source link

Closed sahil1105 closed 5 years ago

sahil1105 commented 5 years ago

To be able to parse the outputs of type:

g(skfire2(a,b,b),out,tc(a,b)) g(skfire2(c,b,b),out,tc(c,b))

i.e. atoms within atoms.

A quick fix might be to just store the output as: ['skfire2(a,b,b)', 'out', 'tc(a,b)'], ['skfire2(c,b,b)', 'out', 'tc(c,b)']

sahil1105 commented 5 years ago

Fixed for Clingo. DLV will follow soon.

sahil1105 commented 5 years ago

Fixed for DLV as well.