Getting started

The best way of getting started is to consult an exemplary session under SICStus Prolog. In these session we take the example and proceeded in the following way:

1. We start by loading the compiler (here into SICStus)

   [nlp41].
   

   (Or alternatively [nlp50].)
2. We compile an original file t1.nlp by means of

   nlp2htl('Examples/t1').
   

   This results in the file t1.htl which is not readily usable by dlv.

   Our compiler is pretty verbose and displays also intermediate versions of the compiled program (use the flag verbose_mode/no_verbose_mode for switching).

3. Alternatively, one may combine the two latter steps by appeal to the command

   nlp2htl2dlv('Examples/t1').
   

   In all, this call produces 3 files:

   • t1.dic

     A dictonary, provided that the appropriate flags (cf. 4) are set.

   • t1.htl

     The ``logically'' resulting file of the transformation.

   • t1.dlv

     The dlv-specific file obtained from the ``logically'' resulting file of the transformation.

4. We finally call dlv by issuing the commands:

   dlv('Examples/t1').