next up previous
Next: Compiling other approaches Up: Set Preferences Previous: Command predicates


Examples

The following table contains a list of examples discussed in the literature.

Example Source DLV Code Smodels Code
Delgrande and Schaub [3, running example] car.lp car.dlv car.sm
- ex0.lp ex0.dlv ex0.sm
- ex1.lp ex1.dlv ex1.sm
- nonGround.lp nonGround.dlv nonGround.sm

More examples for this collection are highly welcome!



Torsten Schaub 2000-12-05