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

CALM bug? #28

Open zhangyuanlin opened 6 years ago

zhangyuanlin commented 6 years ago

A planning problem has goal:

goal = {holding(money, banana)}

The money should be monkey. CALM did not complain. Maybe this was raised before, but I don't remember.

Topology commented 6 years ago

It was not raised before. I am not doing robust semantic error checking in the temporal projection and planning problem sections. I will add the checks.

Topology commented 6 years ago

I've added the framework to check the structure here, and I now catch this error. But the behavior here is impacted by the Herbrand Term issue. The temporal projection and planning problem statements are often using ground terms. The compiler currently doesn't handle deep structure well and there needs to be a unification of sort instanced and constants into a single herbrand term structure on the back end.

Needs more thinking.

My current fix for this particular issue is not a general solution, so I am not closing the issue.

zhangyuanlin commented 6 years ago

I can put off this issue.