Marco Cadoli

first points out three important features of Ilog solvers:

1. Not rule-based.
2. Rich syntax.
3. Declarative way to express procedural aspects.

Even with this, people are reluctant to buy these solvers. Along these features, ASP needs to:

1. Hide rules.
2. Enrich the syntax.
3. Provide a declarative way to ``guide" search.