emulating ASP problems

[Broes De Cat]

To handle problems from the asp competition as directly as possible, it would be great to just take their benchmarks, change the syntax and run it. Closest (cleanest) way to handle this: Add all rules to one definition. Add all facts to an aspstructure. Create a new inference "aspmodelexpand", which treats all atoms as defined and takes their truth value to be true if they are in the structure and false if there is no rule which can make it true.

[Broes De Cat]

Removing milestone: Later (automated comment)