Closed zhangyuanlin closed 6 years ago
There is no output because there is no structure. There is only a theory. The theory produces an intermediate sort calculating sparc program which has an answerset. But the calm.jar only produces the final sparc program if there is a structure.
I can change this behavior. I can print out the intermediate sparc program that calculates sorts and its answerset. Or I can assume an empty structure and translate the remaining fluent axioms. I just need to know which you would prefer.
I see. Lets do nothing on this unless you have a reason to change.
I don't see the output folder any more after compiling a "good" ALM program. E.g., this program