CALM bug?

[zhangyuanlin]

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]

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]

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]

I can put off this issue.