We invoke the following command with oclingo and we get the following output:
dhcp-64-103-84-154:oclingo dmagka$ oclingo dpal/cp_base.lp dpal/o_transforms.lp --imax=9 0 &
ERROR: unsafe variables in:
Why are X and Y considered unsafe since they both occur in the positive body of the rule?
This is in contrast with what potasco guide says "gringo expects rules to be safe, i.e., all variables that appear in a rule have to appear in some positive literal (a literal not preceded by not) in the body".
In summary - its not clear to us if this is as a result of user error or a problem with oclingo, but if the former, then could the error message be improved to better identify the problem ?
Files cp_base.lp and o_transforms.lp attached.
Log in to post a comment.