This simple example show the use of the include statement.

Example call:
    clingo encoding.lp
