damianoazzolini / pasta

Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statements.
GNU General Public License v3.0
7 stars 4 forks source link

Parsing error #8

Closed damianoazzolini closed 2 years ago

damianoazzolini commented 2 years ago

Error with

0.55:a. % <---- single :
not_a :- a.

query(not_a).
damianoazzolini commented 2 years ago

This requires an advanced parser that checks also the ASP syntax