search

Topology / ALM-Compiler

A Java implementation of the ALM language that compiles to the SPARC variant of Answer Set Programming (ASP).
Apache License 2.0
0 stars 1 forks source link

instance of general actions #30

Open zhangyuanlin opened 6 years ago

zhangyuanlin commented 6 years ago

I got error message 

ErrorID: TYP001
Message: The sort of 
variable [X at (/Users/yuazhang/Desktop/CALM/examples/allInOneMonkeyB.tp :3:53)] 
cannot be determined.
Explanation: Every variable must have a sort from which it obtains its possible values.
Recommendation: Consider adding an instance(Var, sort) literal to the body of the rule.

for ALM statement

            executability conditions
                impossible occurs(X) if
                    instance(X, actions), occurs(Y), X!=Y.

Is there anything wrong here?

zhangyuanlin commented 6 years ago

After adding instance(Y, actions), the error is gone. I am not sure if the current error message is accurate.