next up previous
Next: Syntax Up: nlp A compiler for Previous: Introduction


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:

  4. We finally call dlv by issuing the commands:
    dlv('Examples/t1').
    


next up previous
Next: Syntax Up: nlp A compiler for Previous: Introduction
Torsten Schaub 2003-08-14