Getting started

The best way of getting started is to consult an exemplary session under ECLiPSe Prolog. An analogous session under SICStus Prolog is also available. In these session we took the above penguin-birds-example and proceeded in the following way:

1. We started by loading the compiler

   [eclipse 1]: [pref].
   

   This also charged the Prolog files pp.pl, grounder.pl, dlv.pl, smodels.pl. (see Section ).

2. We compiled the original file penguin.lp by means

   [eclipse 2]: lp2dlv('Examples/penguin').
   

   This resulted in the file penguin.dlv that is then used as an input file to the dlv system in the next step.

   Our compiler is pretty verbose and displays also intermediate versions of the compiled program.

3. We finally call dlv (twice) by issuing the commands:

   [eclipse 3]: dlv('Examples/penguin').
   

   and

   [eclipse 4]: dlv('Examples/penguin',nice).